News for hackers. Stuff that matters.

A comment on Rust as a gateway drug to Haskell. Parent comment

Re:Rust as a gateway drug to Haskell by hajile on Wednesday June 14, 2017 @09:34AM (#14552555)
Why not SML/CML where you basically get haskell syntax and types, but get modules, no laziness, and you can mutate things when it's more efficient to do so.
[ Parent | on HN ]
Re:Rust as a gateway drug to Haskell by lmm on Wednesday June 14, 2017 @12:03PM (#14553658)
I couldn't stand to work without HKT now that I'm used to them. (Hell, I'm struggling with Scala's lack of polykinded types; you don't need them until you do, but then you really need them).
[ Parent | on HN ]
Re:Rust as a gateway drug to Haskell by adamwk on Wednesday June 14, 2017 @12:49PM (#14553974)
MLs have higher kinder types.
[ Parent | on HN ]
Re:Rust as a gateway drug to Haskell by lmm on Thursday June 15, 2017 @04:02AM (#14558655)
Which ones? OCaml is planning to add them via its "modular implicits" work but that hasn't happened yet; none of the SML implementations I used mentioned them.
[ Parent | on HN ]
Re:Rust as a gateway drug to Haskell by adamwk on Thursday June 15, 2017 @05:47PM (#14564675)
I think you're confusing higher-kinded types with type classes. You're right that neither has type classes.
[ Parent | on HN ]
Re:Rust as a gateway drug to Haskell by FullyFunctional on Thursday June 15, 2017 @01:44PM (#14562565)
The difference in both syntax and type system is vast, unless you are coming from, say Fortran or APL.
[ Parent | on HN ]