unstruktured

very cool! maybe make a soccer one for world cup?

Technically you are right but too much mutation for my tastes and probably many other ocaml developers.

18 years ago? Holy crap I feel old. I remember how disruptive the very stable 3 to completely unstable 4 was.

There is absolutely no reason to use double semicolons in practice. The only place you really should see it is when using the repl.

Thanks for restoring my sanity. Was quite confused of the value added by the author.

To F# from what previously?

"Uh...the answer's not in the box, it's in the band".

I don't think he touched on whether server side is a more valid use case, but was nice to read someone elses take on using it for a desktop. Thanks for the contribution.

He did find functional programming to be sort of mystic so I don't know if I trust his take on assesing the nix language itself.

TLDR; just stick with ubuntu or arch unless you feel like experimenting

I wish they would at least rename the company to "ClosedAI" because that's exactly what it is at this point.

What, to you, is an ultra strong type system? Both OCaml and Haskell are used in plenty of non academic contexts. Do you mean something like Coq or F*?

Oh that's a solved problem since 1969. It's called "unix". Everything is a file which can be processed as a byte stream. Composition is a breeze- can't be any more general than that!

(I kid, mostly :)).

I think when people say safest they mean the safest "C like" language with zero cost abstractions.

Interesting point. I never inferred a strong connection between dependent types and the unification of records and modules. Maybe a real PL theorist around here can provide insights on that subject.