Haskell will die with the two Simons. The future lies with Agda or Epigram or Coq. We shouldn't try too hard to get Haskell right -- it will never be right -- but, rather, we should all think about how we're going to migrate away from Haskell to something even better. What can we do now -- in terms of multi-versioning, compiled module interfaces and approaches to modularity that are about servers and pipes instead of linking -- to make it easy to move away from Haskell module by module?
-- Jason Dusek _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime