sproutini

14 ms·

1. 1.▲
   by sproutini 1y ago

   Overengineered in my view, what is wrong with `x | f` is `f(x)`? Then `x | f | g` can be read as `g(f(x))` and you're done. I don't see any reason to make it more complicated than that.
2. 2.▲
   by sproutini 2y ago

   > If you don't know why set theory is important, it is because set theory is the foundation of all of mathematics. Sorry to burst your bubble, but as far as we know, that isn't true in the slightest. It's a logical positiv
3. 3.▲
   by sproutini 2y ago

   The problem with that statement isn't that some APIs use state but that the reason those APIs need state wasn't documented.
4. 4.▲
   by sproutini 2y ago

   No, not really. A lisp in 99 lines of C would barely be useful. In contrast, Prolog mostly shines where you need reasoning/unification over a database of facts -happens pretty often,- but that's just too easily expressed in any pr
5. 5.▲
   by sproutini 2y ago

   The problem with Prolog is that it's based on unification, and small unification engines can be expressed in a few lines in any functional programming language. That narrows down the already small niche where one would choose Prolog by
6. 6.▲
   by sproutini 2y ago

   This isn't news to any logician or people working in formal methods. More like a mathematician getting his head around what has been thought about for decades, if not centuries. Also, -1 for not mentioning Leibniz equality.
7. 7.▲
   by sproutini 3y ago

   I still regret I couldn't get a Barry White text-to-speech for the voiceover.