4 ms·

I really like standard ML. Modules are great but type classes would be … more pragmatic?

• bmitc 4y ago
  My preference are ML dialects, but it sounds like Idris is something you should check out. It's strict by default and has type classes and dependent types.
  • wirrbel 4y ago
    Idris was always filed in my head as some estoric/academic/obscure thing, will have a look at it.
    • bmitc 4y ago
      I actually think it's probably less academic than Haskell or Racket. It's intended to be a practical language that people build things with. It just has an advanced type system and a small community.
• erk__ 4y ago
  There is even a SML that does not use a GC* but instead does "region based" memory mangement. https://elsman.com/mlkit/about https://elsman.com/mlkit/about *most of the time.