> God what's the compilation time of millions of line of Haskell? It wasn't compiled with GHC, but a proprietary compiler. It could typecheck the entire lot in

> God what's the compilation time of millions of line of Haskell? It wasn't compiled with GHC, but a proprietary compiler. It could typecheck the entire lot in a few minutes (in parallel) which was usually enough to detect breaking changes. > There are plenty of industrial languages with algebraic data types and immutability. A few do, yes, certainly not plenty. But defaults matter and immutability means more than just "const", e.g. persistent collections. > Not as many as I would like with purity but I doubt it will take 30 years. Given that big tech is delivering languages that are basically the same as Algol 60, I honestly think it will take at least 30 years. http://cowlark.com/2009-11-15-go/ http://cowlark.com/2009-11-15-go/