This is one of the better articles (of this type of content) that I've read in a while. Pushing implicit logic towards types, keeping non-determinism/impuritie

This is one of the better articles (of this type of content) that I've read in a while. Pushing implicit logic towards types, keeping non-determinism/impurities at the edges of your program by asserting around edges is a massive win. The only language that encourage this type of programming (as in it's idiomatic across the ecosystem) whilst still keeping compile times down is OCaml.