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.

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

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?

donetick.com

I know someone who’s literally making that right now. Remind me in a week, I’ll send you the link. He’ll probably be done by then.

Edit: donetick.com

For XMPP, have you looked into using snikket? It does most things you’d want out of the box without having to setup extensions yourself.

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.

Here is a docker compose: https://snikket.org/service/resources/docker-compose.yml

You only two configuration options in the config file: domain and email.

I’ve been wanting to do this exact thing. I already have wireguard setup. Please update us if you do this.

This makes matrix even less attractive to me lol. But you’re right, that’s a very good point.

cumbersome to parse

Parsers have already existed for so long in every major language. Why need to worry about parsing?

And why need to worry about transports working differently if they achieve the same thing? They seem similarly convenient if I understood what you said correctly

Why is JSON better than XML? It’s more modern, sure, but from technical perspective it is not objectively better right? Not something worth switching protocols for.

You mention XMPP has transports as opposed to Matrix bridges. I thought they give you roughly the same outcome. What’s the difference?

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?