Very open ended question. The trickiest thing for me is the GHC "instance" extensions: TypeSynonymInstances, -XUndecidableInstances, Flexible, Overlapping, etc

Very open ended question. The trickiest thing for me is the GHC "instance" extensions: TypeSynonymInstances, -XUndecidableInstances, Flexible, Overlapping, etc -------------- I think there's general agreement that cabal has limitations: http://www.yesodweb.com/blog/2012/04/replacing-cabal http://www.yesodweb.com/blog/2012/04/replacing-cabal http://www.yesodweb.com/blog/2012/04/cabal-meta http://www.yesodweb.com/blog/2012/04/cabal-meta http://www.reddit.com/r/haskell/comments/qdjha/which_commands_succeed_in_installing_a_haskell/ http://www.reddit.com/r/haskell/comments/qdjha/which_command... http://www.reddit.com/r/haskell/comments/r5h81/google_summer_of_code_2012_haskellorg_is/ http://www.reddit.com/r/haskell/comments/r5h81/google_summer... http://www.reddit.com/r/haskell/comments/rurn4/cabalmeta_transcending_to_dependency_heaven/ http://www.reddit.com/r/haskell/comments/rurn4/cabalmeta_tra... ----------------- Not clear if you're interested in pure language design or looking at the state of standard library, editor/testing/deployment toolchains etc but as far as language design debates go vs. the SML line, you could read Harper's http://existentialtype.wordpress.com/2011/04/24/the-real-point-of-laziness/ http://existentialtype.wordpress.com/2011/04/24/the-real-poi... http://existentialtype.wordpress.com/2011/05/01/of-course-ml-has-monads/ http://existentialtype.wordpress.com/2011/05/01/of-course-ml...