Contribute code on github!

As someone who is not deep into type theory or functional programming, can you please explain why you mean by “ergonomic overloading”?

My understanding is that ocaml mitigates the need for type classes through its more advanced module system. So far I have been enjoying the use of OCaml modules, so I’m curious what exactly I’m missing out on, if any.

Thanks for taking the time to talk with me btw!

What are your thoughts on this comparison? https://github.com/sidkshatriya/me/blob/master/007-My-Thoughts-on-OCaml-vs-Haskell-Rust-2023.md

Tell us more about unison

I know double semicolons are a thing, but I’ve never had to use them. I forget what they’re for, but yeah it’s supposed to be an escape hatch for something that shouldn’t be happening iirc.

The curried snd uncurried functions… Maybe you are confusing with SML, because everything in ocaml is curried by default. Though admittedly the standard library could be more complete, but I personally am happy to use third party dependencies for less common things.

Its best to use a protocol that doesn’t allow unencrypted messages

This is an implementation thing and not a protocol thing. What protocol doesn’t allow unencrypted messages? I am sure signal’s protocol would still allow it, it’s just that the implementation doesn’t.

And same for XMPP. Just go with the implementation that doesn’t.

Sad I had to scroll to the end to see this.

Ocaml is brilliant and has the nicest type features. It’s almost like Haskell but more approachable imo.

Maybe because I’m not from an English speaking culture that I don’t see the far right stuff

People prefer centralization, and it makes sense. The Fediverse resolves most of the issues with decentralization, but so does centralization, which came way sooner, and arguably did it better.

Also, people seem to forget that Facebook was pretty cool back then. It had superior features, and was not the buggy mess it is today.

Striking terror in the hearts of genocidal invaders is a good thing yeah