4 ms·

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.

• lmm 9y ago
  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).
  • adamwk 9y ago
    MLs have higher kinder types.
    • lmm 9y ago
      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.
      • adamwk 9y ago
        I think you're confusing higher-kinded types with type classes. You're right that neither has type classes.
• FullyFunctional 9y ago
  The difference in both syntax and type system is vast, unless you are coming from, say Fortran or APL.