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 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 ]