3 ms·Yes, it's called Ocaml ;)by Scarbutt 6y agoYes, it's called Ocaml ;)Nekorosu 6y agoCould you elaborate on your point?Scarbutt 6y agoOcaml'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.