3 ms·
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.
by 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 agoIdris was always filed in my head as some estoric/academic/obscure thing, will have a look at it.
- bmitc 4y agoI 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.