3 ms·
It's worth noting that since this article was written, the static-typing group have figured out how to build interpreters/REPLs -- Haskell (via GHCi) is probabl
by jmillikin 16y ago
It's worth noting that since this article was written, the static-typing group have figured out how to build interpreters/REPLs -- Haskell (via GHCi) is probably the most well-known, but OCaml and C# also have viable interpreters. And that's not even getting into Agda and Coq.
- cdavid 16y agoIt was figured out much earlier than 1996 - CAML first appeared around mid 80ies, and the theory behind type inference is more than 30 years old. I strongly suspect someone of Richard Gabriel caliber to be aware of this in 1996. Maybe the real difference is that computers became powerful enough to do this kind of compilation in near real time not so long ago ?