I don't really mind if Eta ends diverging from Haskell in the particulars but remains Haskell-like à la Purescript.
I'm curious about how the jvm will behave in regards to laziness and typeclasses (MTL-like libraries, in particular).
I'm curious about how the jvm will behave in regards to laziness and typeclasses (MTL-like libraries, in particular).