3 ms·
I'm not aware of any language that can go up against Haskell in the bleeding edge category. I'm sure there are plenty of features such as mutable state in funct
by 3rdAccount 8y ago
I'm not aware of any language that can go up against Haskell in the bleeding edge category. I'm sure there are plenty of features such as mutable state in functions that were intentionally left out. I thought Idris was supposed to be Haskell on JVM? Let me know which features it is lacking from the other two. I'm not familiar with SML. Overall I guess it doesn't really matter.
- uryga 8y agoThe JVM Haskell is called Eta (I also heard of another similar project, Frege). Idris is Haskell-ish, but it has Dependent Types - the "new" typing hotness - which offer typing even more advanced/fine-grained than Haskell[1]. AFAIK using types to create something resembling a proof of correctness isn't uncommon in Idris. Or stuff like a function that a takes a number and a proof that the number has some property, say even-ness. So I'd say Idris is even more researchy/bleeding-edge than Haskell. [1] Some of these features can be emulated in Haskell, but AFAIK it's kinda clumsy at the moment. There's an ongoing initiative called DependentHaskell that aims to improve that.
- 3rdAccount 8y agoThanks for the explanation and correction!
- dorfsmay 8y agoThink a better definition of Idris would be Haskell with theorem proving and not forcing lazy everything. It's compiled with C compiler or to JavaScript currently, no JVM implementation. You might be confused with Scala.