Unison

Release release/0.5.44 · unisonweb/unison What's Changed More streamlined output after type checking a scratch file Fix an issue that was causing a crash in code serialization Add builtins to efficiently switch between Bytes and BytesArra...

🚀 Unison 0.5.44 is out!

This version has some real treats for devs. Here's what's included:

✨ New, streamlined workflow for updating code
🗂️ Tab-complete remote project and branch names
📩 30% faster downloads from Unison Share

Full release notes:

🎊 Tab completion for remote projects and branches on Unison Share is here!

No more typos or flipping to the browser to check spellings. It's a delightful quality-of-life win for Unison devs!

⚖️ Here's a blog post about mixing `Random` weighted values with the `Each` ability to write data generators in Unison.

Useful for creating data for testing, tutorials, or mocks!

rlmark.unison-services.cloud/s/rebeccasbl...

YouTube video by LambdaConf Eric Torreborre - Shoehorning dependency injection into a FP language - What does it take?

My talk about "Shoehorning DI into a FP language" at LambaConf is now available: www.youtube.com/watch?v=_AuF.... Now for the reveal... This approach doesn't scale and I did not realize at the time. Wait for my updated talk at LambdaDays 2025 to discover a much better approach!

Release v1.1.0 · unisonweb/ucm-desktop This release includes a few small bugfixes and quality of life improvements, but also represents the first release on top of Electron (previously we were using Tauri). Bug fixes Improve doc render...

UCM Desktop 1.1.0 is out: github.com/unisonweb/uc...

- Tauri to Electron migration
- Light mode colors in the Finder
- Ensure a definition is scrolled to when opened
- Hitting `shift+x` now closes all open definitions

More on the Tauri to Electron migration in 🧵

Unison 0.5.42 is out, with some big improvements:

* Ability handlers are up to 2-80x faster (See dolio.unison-services.cloud/s/blog/posts...)
* Typo fix suggestions
* And more...

github.com/unisonweb/un...

Effect handlers are great—until you realize your custom Ability is copying the whole call stack. 😬

Here's Dan Dolio on how Unison recognizes affine handlers and optimizes them:

dolio.unison-services.cloud/s/blog/posts...

Yeah! We do that in Unison! The unit of meaning in Unison is the function; we don't deal with files or directories since your code is stored as a hash of its implementation and you can rename / move it around freely.

You can select multiple definitions in `fzf`-enabled multi-argument commands in UCM using the Tab key to toggle selections. This GIF demonstrates using `view` to browse the `data.Map` API from `@unison/base` and pick several update-related functions together. /cc @unison-lang.org

🛎️ You can now subscribe to project notifications on Unison Share! Stay updated on changes, edits, and new contributions to your projects, all in one place.

This feature is a V1 release, with more integrations to come!

I recently dropped a bit into @unison-lang.org. They have a new approach to store code and therefore handle dependencies. That was a bit of an eye opener and got me further thinking that handling dependencies correctly should be easier than it is in most languages today..

🔓 Good news for non–VS Code users: the Unison LSP is now available via OpenVSX!

Give it a try here:

open-vsx.org/extension/un...

Yes! Give it a try! 🤩

How could we do dependency injection in Unison? At #LambdaDays, @etorreborre.blog will show how to implement a DI system in Unison using just its effect system!

www.lambdadays.org/lambdadays20...

Been working on an OAuth2 client in @unison-lang.org using an "ability-maximalist" approach for ad hoc polymorphism. Just an experiment, but it is really satisfying to run the code, have it open my browser, have me log into Google and authorize, and then see the rest of auth happen as expected!

Building Industrial Strength Software without Unit Tests Unit tests aren't the only way.

Did you know that #Unison Share is a full-featured code-repository and collaboration platform that *doesn't have a single unit test*?

Here's how that works:
chrispenner.ca/posts/transc...

(*spoiler*: it's great!)

@unison-lang.org

Updated the blog post with a new section about Local Deployments, think this is a really cool feature from @unison-lang.org as well!

👏 This is a great walk-through of the process of writing and deploying a project in Unison by @gvolpe.com! Here's to many more! 🤩

YouTube video by Rock the JVM Martin Odersky on the Future of Scala, Learning, Teaching and the Quest for the Perfect Language

New video, and this time I'm doing something different: a long-form, wide-ranging conversation with none other than
Martin Odersky, the creator of #Scala!

www.youtube.com/watch?v=tmpP...

💫 While Unison warns you about quadratic ability handlers in our latest release, here's Unison's own compiler expert, Dan, on the nature of the problem and how to structure your ability handlers to avoid a quadratic slowdown in the first place.

A nice experience report post on learning and using Unison:

zetashift.unison-services.cloud/s/blog/posts...


One important note: FFI is next up on the list for Unison runtime work.

📰 As a fast follow-on, we've just released UCM 0.5.39 to fix an issue with `Multimap.fromList`

🫶 We appreciate you and all your wonderful libraries @kylegoetz.com!

Release release/0.5.38 · unisonweb/unison What's Changed Features: LSP hover info for local bindings by @ChrisPenner in #4969 Maps now decompile as a single call to Map.fromList by @pchiusano in #5658 New support for pattern lookahead, ne...

📰 UCM 0.5.38 is here!

✨ LSP hover info for local terms
🗺️ More readable `Map k v` rendering in the console
🎯 Lookahead/lookbehind support for patterns
📥 Faster syncs with Share with visible progress
⌨️ Better errors for typos in type constructors
✋ Warnings for possible quadratic handlers

A challenge we often hear from new Unison devs is around reading function signatures. Our syntax is common to ml-style languages (Haskell, Elm), but it can look intimidating when new to those langs. In this 🧵 I break down the syntax. First up, a function that is used to create an html div. 1/7

3 things other languages should steal from Unison Some things other languages should steal from Unison

💝 We encourage everyone to take inspiration from Unison's core ideas and practices. The more programming languages and tools challenge the status quo, the faster "outlandish" becomes "obviously better." Here's @chrispenner.ca on three things other languages should steal from Unison:

@unison-lang.org from a #Scala perspective at @scalar-conf.com by Olivier Mélois.

If you've ever wanted to follow the thought process behind implementing distributed transactions in Unison, this blog post by @systemfw is a masterclass in fitting a solution to a complex problem.

systemfw.org/posts/data-o...

@unison-lang.org coolness: mermaid diagrams generated by code in your docs.

See share.unison-lang.org/@alvaroc1/me... and expand the source (see pic)

🤩 We love to see it! @dfreeman.io has been expanding what's possible for Unison! Check out his work! 😱