Viewing profile — 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 fin…

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 tha…

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 insight…

F* + 1ml ( https://people.mpi-sws.org/~rossberg/1ml/ ) would be the ultimate experience. I was born too early!

macros can help with this if you can narrow down the traits you want to support. https://doc.rust-lang.org/reference/macros.html

If you use Jane street's base, core, and async libraries, you already have most of the tooling you need.

Like matrix/element chat? https://matrix.org/

decentralized approaches would be resilient to that.

To me, implementing an async api using algebraic effects is the end game. Gets rid of the need of an async keyword and no monads required!

Big fan of kdenlive. I switched to it after one too many openshot bugs. Admittedly I always want kde apps to be good but in this case it actually is. Openshot was easier to learn t…

While we are on the subject, there's also neovim-qt: https://github.com/equalsraf/neovim-qt

Keep up the good work! I love KDE.

pypy and cpython don't mix well with each other so you have to create a whole new universe of packages for pypy. Interop with c libraries also adds complexity to the transition. In…

Not familiar with said regulations, but Ada was a good example of not using C++ for these very reasons in a military context.

I like both OCaml and Rust, especially OCaml, but even after 2 years of Rust I'm still way more productive in OCaml. Unless it's absolutely essentially, I really don't want to have…