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.

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.

Well I am speaking about users who may be picky about mastodon’s features. If someone is picky, I don’t imagine they’d care much about just finding a platform with their preferred features, similar to how they didn’t like mastodon and found bluesky instead.

The fediverse has many micro blogging implementations outside of mastodon if you don’t like their featureset (and they federate with each other, unlike bluesky). The only features I couldn’t find are those that contributed to making Twitter the dystopian toxic space that it is.

Very much the same. I was terrified of regex, now I love it

It’s not the best platform for the profit driven, and I much prefer it that way.

Oh no, now nostr is ruined

And you’d still have federation issues, so doesn’t solve OP’s problem.

Actually being able to self host and federate, and without any dependence on the main instance.

And ability to federate with other open and federated services, like how mastodon can federate with so many others like lemmy and pixelfed.

This is actually exactly what I asked for, thank you!!

The appeal for json and yaml is readability, and partially ease of parsing. I say s-expressions win over both in both aspects.

Can you please expand on your references to no-sql and your reference to “lightweight markup”? I don’t quite understand what you meant there.

What’s so good about it?

I never really quite understood IPFS and why it gets used where I see it today. What problem is it solving?

I got into ocaml recently. I love it. I honestly don’t see issues with the syntax, maybe because I haven’t used it enough.

Any examples other than ocaml? From my understanding, ocaml’s type strength may only be found in a couple other languages. Haskell, scala, and maybe Rust. Any others?