As far as F#/OCaml goes, that's excellent.

(I'm convinced one of the reasons why Rust is so popular is because it's OCaml with a legible syntax.)

F# has diverged quite a lot from OCaml and is very readable IMO.

In any case, I think this view stems from our Algol/c/Java centric CS education system that casts ML and Lisp as weird and “unreadable”, when really it’s just a matter of perspective.

> when really it’s just a matter of perspective.

it's really not, in the engineering school I did in the first year we were taught both C and LISP during the same semester and it was obvious to almost everyone except math nerds how much easier C was mapped to a normal human being (e.g. someone without prior programming experience)'s mental model of the world

Hadouken! They wish they had monads.

Not necessarily. I would say that the hand-rolled argument parsing business it a call for Argu: http://fsprojects.github.io/Argu/tutorial.html

But the code isn't all that complicated to begin with.