I like Fay, but I thought the no-typeclasses thing was attributed to the fact that they used GHC as a front end and unwinding them out of GHC Core was to tall of an order for the time being? The Github page/discussion seemed to say as much IIRC. I'd really like to have typeclasses in Fay. Like REALLY like to have typeclasses in Fay.
Also threading in Haskell isn't a first-class thing. I'm not sure what you mean by that. How does one omit threading if it's not really part of the language spec to begin with? Care to expand?
> How does one omit threading if it's not really part of the language spec to begin with? Care to expand?
Not the OP but I can't resist answering. Threading isn't really part of the language proper, but as a lazy language can make flow control from language or library indistinguishable that isn't a very important distinction.
What matters is that GHC has an excellent threading implementation in its runtime and that the compiler has the primitives to build the Haskell concurrency libraries on.
Also threading in Haskell isn't a first-class thing. I'm not sure what you mean by that. How does one omit threading if it's not really part of the language spec to begin with? Care to expand?