Really? Haskell and Scala are sooo last century. Look up Agda or Epigram. ;-) Seriously, though, it takes time. Lisp had higher-order functions and garbage col

Really? Haskell and Scala are sooo last century. Look up Agda or Epigram. ;-) Seriously, though, it takes time. Lisp had higher-order functions and garbage collection long before they became mainstream. The type systems used in OCaml and Haskell were discovered in the 70s. Maybe in 10 years we'll see what of the 90's ideas become really valuable (or crappy but mainstream...).