3 ms·

Could you elaborate on your point?

• Scarbutt 6y ago
  Ocaml's strong static typing with type inference and pattern-matching (with exhaustivity checking) suite this kind of work quite well, there's plenty of literature around for it.