Viewing profile — badelectron

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. …

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 debuggi…

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 pro…

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.htm…