badelectron

6 ms·

1. 1.▲
   by badelectron 3y ago

   Since this announcement is about Unison Cloud, it might not be clear for people who aren't familiar with the Unison language that you can run Unison programs without Unison Cloud. So much like just about any other language you can put
2. 2.▲
   by badelectron 3y ago

   I use both Unison and Nix (and I work on Unison Cloud). The "oh-so-good" aspect that comes from content-addressed dependencies is definitely there. I've spent a lot of time debugging runtime issues on the JVM because two libr
3. 3.▲
   by badelectron 3y ago

   Short version: no type classes (yet) Longer version: Building upon what Quekid5 mentioned, Unison abilities are an implementation of what is referred to as algebraic effects in programming language literature. They represent capabilities li
4. 4.▲
   by badelectron 4y ago

   If you want to do this with a data structure instead of a database then discrete interval encoding trees solve this problem well. https://xlinux.nist.gov/dads/HTML/discretintrv.html