Unison: a new distributed programming language
3 points by dunyakirkali
3 points by dunyakirkali
The "suggest" button has disappeared, so there's no way to add (2019) to the title. ( @pushcx could you add it? )
Any updates on what's gone on with Unison since this talk? What did it amount to so far?
The links from a quick search aren't showing me a ton, but that probably doesn't mean much since I lack context.
There are a bunch of Lobsters stories about Unison going back 10 years, including 5 months ago, Announcing Unison 1.0
The main new thing I'm aware of is unison cloud, which lets you quickly deploy programs without worrying about servers or storage. It's neat. They also hit a 1.0 release, and have added a lot of dev tooling (LSP, MCP).
It disappeared because a suggestion was already applied once (removing | YouTube from the title, see mod log).
Yeah, I understood why it disappeared. That's why I used a comment and @'d a moderator to make a second suggestion :-)
I still use Unison as my go to glue language to ductape HTTP APIs or create lil services to replace stuff(a KOReader sync service for example). Algebraic effects and code in a database make it easier to do hobby projects on a time constraint.
I don't know of anyone using it production except their own Cloud service.
If vendor lock in was a programming language.
Can you elaborate a bit? I don't know much about the language or any of the offerings they've stacked around it, but their github repo makes it look FOSS to me: https://github.com/unisonweb/unison?tab=License-1-ov-file#readme