>>105604818
I prefer ocaml to haskell, less brain masturbation more pragamatism.
there is a reason why ocaml is used a lot for proof software even if less "pure"