West Asia - Communist - international politics - anti-imperialism - software development - Math, science, chemistry, history, sociology, and a lot more.
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.
Striking terror in the hearts of genocidal invaders is a good thing yeah
Unless you pay from the exchange’s wallet
What’s so good about it?
Sounds like clickbait
deleted by creator
It’s funny that I can’t tell if you mean KSA or USA
So what is the benefit for the common person, now?
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.
You’re still too busy analyzing the motives or agenda of the author instead of evaluating the information. Of-fucking-course the Syrian state TV is going to have an agenda that… Surprise: agrees with state policy. This is not the revelation you think it is.
Guess what? Every source has a bias or agenda. For many it is money related.
Now, the US is indeed stealing. There have been several videos posted before, and local witnesses arresting to it. This has nothing to do with whatever you think it is framing. This is actually happening.
The US isn’t robbing Syrians at gunpoint
What the hell do you call installing your literal military and building 14 bases (more US bases per square mile of any similarly-sized region in the world), and has initiated multiple attacks on Syria since?
It’s only considered theft because the people eating and using the fuel are ethnically undesirable.
Maybe to you. To me, it is considered theft because the oil fields which were once keeping all Syrians warm, cooking, and supplying them with electric power is now being given to an occupying military while most Syrians are struggling for a drop of heating or cooking oil, many dying of the winter cold.
When did the people of Aleppo hand over land to Russia? You do realize the SDF collaborated with Russia and even hosts a Russian military base?
Also, the Assad government, despite all its horrors and corruption, actually cooperates with the SDF on a moderate level. There is already some trade between the two, and they fought side by side on a few occasions.
There’s no way you don’t believe the US is in Syria? They do not make it a secret. I’m happy to provide you with a wealth of instances where the US admits this.
Contribute code on github!