Unison's Avatar

Unison

@unison-lang.org

Friendly programming language from the future Open source http://github.com/unisonweb/unison Cloud platform: https://unison.cloud Community: https://unison-lang.org/discord

525
Followers
4
Following
114
Posts
06.11.2024
Joined
Posts Following

Latest posts by Unison @unison-lang.org

Preview
Unison: The Language That Makes Microservices Feel Like a Monolith How Content-Addressed Code and Adaptive Service Graph Compression Are Rewriting the Rules of Distributed Systems

πŸ“ This community write-up on Unison asks: what if service boundaries didn’t mean serialization, versioning pain, or extra operational complexity?

Check it out here: medium.com/@thomas_alex...
Or here: github.com/ThomasAlexan...

04.03.2026 18:55 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Dejan MiličiΔ‡ - Unison: A New Programming Paradigm
Dejan MiličiΔ‡ - Unison: A New Programming Paradigm Unison is a pure functional language introducing a groundbreaking concept: content-addressed code. On top of the well-known advantages of functional programm...

πŸŽ₯ New conference recording from the Unison community!

A deep dive into content-addressed code and how it changes refactoring, dependency management, and remote code execution.

🌟 Dejan's keynote is one to watch!

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

26.02.2026 18:10 πŸ‘ 11 πŸ” 7 πŸ’¬ 0 πŸ“Œ 0
I automated social media posting with this Unison cli app
I automated social media posting with this Unison cli app You know that feeling when you need to post something on social media really quickly, but then you get stuck scrolling through all the bad takes. Well, I do ...

🫣 Ever open social media to post one thing… and resurface 20 minutes later? Well, here's @impurepics.bsky.social wiring up a Unison-powered CLI solution for that. They walk through the code, the Unison workflow, and how it all fits together.

πŸ‘‘ Thanks @impurepics.bsky.social, we're huge fans!

24.02.2026 23:08 πŸ‘ 5 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0
Introducing the Threads ability for safer structured concurrency
Introducing the Threads ability for safer structured concurrency YouTube video by Unison Language

Finally got around watching it in full. New threads ability of @unison-lang.org
youtu.be/xU_MRNNo4kg?...

21.02.2026 15:38 πŸ‘ 6 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0
Preview
Unison Computing now has a consulting group Β· Unison programming language We are spinning up a consulting group, now open to work in a variety of languages, including Scala, Haskell, Rust, Elm, and of course Unison. Our goal is a self-sustaining model in which a mix of consulting and product revenue funds development of Unison-based tech well into the distant future. We aim to be cash flow positive as a business in the next 12 months and could use your help in getting there.

We have a consulting group, now open to work in a variety of languages, including Scala, Haskell, Rust, Elm, and of course Unison. More details here: www.unison-lang.org/blog/consult...

Please boost to help get the word out. And we'd love to hear from you if you're interested in working with us!

19.02.2026 17:16 πŸ‘ 19 πŸ” 10 πŸ’¬ 0 πŸ“Œ 1
Introducing the Threads ability for safer structured concurrency
Introducing the Threads ability for safer structured concurrency The latest Base upgrade contains the Threads ability, for safer structured concurrency. This video talks about the problems that the Threads ability solves a...

🧡πŸͺ‘ Our latest release of the standard lib includes a new `Threads` ability for structured concurrency.

Why is it an improvement over our existing primitives? Here's a video with some comparisons.

youtu.be/xU_MRNNo4kg

10.02.2026 16:00 πŸ‘ 9 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0
Preview
Release 7.14.0 Β· @unison/base | Unison Share The unison base library.

πŸ“° New Base library version is out! This one has some big features:

* New `Threads` ability for structured concurrency
* Adds a `Ptr` type so Unison can exchange pointers with C
* Load a dynamic foreign library by name

share.unison-lang.org/@unison/base...

09.02.2026 19:22 πŸ‘ 5 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

🌟 Check out the suite of libraries that @kaushikc.org has been steadily developing: html-parsing, at-proto, and more!

04.02.2026 17:37 πŸ‘ 4 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Unison 1.1.0 release highlights
Unison 1.1.0 release highlights Unison 1.1.0 has some nice developer experience improvements. Here we showcase a few of the changes in this release. Full release notes: https://github.com/...

πŸŽ₯ The Unison 1.1.0 release has quite a few features improving the UCM workflow. Here's a highlights reel:

youtu.be/8aMggn5Cm00

31.01.2026 18:00 πŸ‘ 2 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0
Preview
Release release/1.1.0 Β· unisonweb/unison What's Changed Features: The dependents command now work on constructors and ability requests. (#6115) Support for "Edit Definition" and "Open on Share" in the Unison Language VS Code extension v1...

πŸ“° UCM 1.1.0 is out!

* `dependents` can search by variant, not just type or ability name
* New built-ins for Argon2id hashing
* VS Code actions: Edit Definition & Open on Share
* MCP tool: `share-project-info`
* Faster bytes ops & improved run command

29.01.2026 17:58 πŸ‘ 6 πŸ” 4 πŸ’¬ 0 πŸ“Œ 0
Preview
Competitive Pure Functional Languages

I've used @haskell.org, Lean 4 and @unison-lang.org for a while. I'm impressed by improvements, but many languages have good FP features now. Wrote blog post

Competitive Pure Functional Languages.

blog.samibadawi.com/2026/01/comp...

Looking for niches where pure FP is better than OOP FP language

26.01.2026 11:12 πŸ‘ 10 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

Unison's got a C FFI! πŸŽ‰

If you were waiting for a reason to try Unison, now's a good a time as any :)

21.01.2026 22:39 πŸ‘ 9 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0
Preview
Spec Β· @unison/base/releases/7.13.0 | Unison Share The unison base library.

πŸ”Œ We're adding C FFI bindings!

This opens the door to a huge ecosystem of native libraries. Go wrap your favorite C APIs!

share.unison-lang.org/@unison/base...

21.01.2026 18:07 πŸ‘ 4 πŸ” 1 πŸ’¬ 0 πŸ“Œ 1
4 tips for speeding up your UCM workflow
4 tips for speeding up your UCM workflow Here are a few practical tips for speeding things up when working in the Unison Codebase Manager (UCM): using fuzzy find to explore code, piping commands wit...

⏳Time is precious. Stop typing out fully qualified argument names in the UCM!

youtu.be/_pcDWMj9JWg

16.01.2026 19:12 πŸ‘ 2 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Preview
@stew/tooey | Unison Share Explore, read docs about, and share Unison libraries

⌨️ A fun Unison library drop for your Monday! Dream up some terminal UI apps!

share.unison-lang.org/@stew/tooey

13.01.2026 00:25 πŸ‘ 3 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Watch expressions for interactive programming
Watch expressions for interactive programming Watch expressions are Unison’s answer to the REPL. In this video, we’ll walk through what they are, how they work, and how to use them effectively while debu...

πŸ‘€ We don't have a REPL in Unison, so what do we use instead?

Watch expressions!

youtu.be/xfKO_tGpBxM?...

09.01.2026 18:05 πŸ‘ 4 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
Release release/1.0.2 Β· unisonweb/unison What's Changed New diff.update command highlights changes in the scratch file. (#6080; thanks @bbarker!) MCP improvements. (#6081, #6082; thanks @kn0ll!) Fixed a parsing error involving multi-line...

πŸ“° Unison 1.0.2 is out!

- `diff.update` lets you preview a change before committing an update
- MCP upgrades: agents can rename, move, and delete definitions & namespaces
- Fixed `text.find` for numeric literals
- Parsing fix for multi-line matches

06.01.2026 16:48 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Terraform in Unison?
Terraform in Unison? What might a Terraform library look like in Unison, given the programming model that Unison Cloud supports? Our infrastructure developer, Stew, has been experimenting with a new library, and in this conversation, we explore the thought process and direction of the "Uniform" library currently in development. The Cloud platform mentioned: https://www.unison.cloud/ The Unison Share repo for the Uniform project: https://share.unison-lang.org/@stew/uniform

What might a Terraform library look like in Unison, given the programming model that Unison Cloud supports?

πŸŽ™οΈTune in to our interview with library author and Unison teammate, Stew, to see what he's tinkering on!

05.01.2026 17:52 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

πŸŽ‰ Yes! It's a lovely time to get reacquainted with Unison!

11.12.2025 18:20 πŸ‘ 8 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0
Preview
Brand Request: Unison Β· FortAwesome Font-Awesome Β· Discussion #20969 🏷️ What brand are you requesting? Unison programming language - http://unison-lang.org/ Example image Migrated from: #20055 🌐 Official website http://unison-lang.org/ πŸ“˜ Brand assets or guidelines (...

πŸ”  You know what would be awesome? If the Unison programming language had a little font icon.

Give this FontAwesome request a quick upvote if you agree!

04.12.2025 21:32 πŸ‘ 6 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0
Sample Unison word frequency program written in VS Code with LSP support

Sample Unison word frequency program written in VS Code with LSP support

@unison-lang.org v 1.0 passes my language readiness criteria

* Good language server support
* Trivial to make a word frequency program with tests

It's mind blowing 🀯 to program with code fragments, instead of projects of files.

Very composable.

Promising, but hard to imagine its effect on DevOps

04.12.2025 16:06 πŸ‘ 8 πŸ” 1 πŸ’¬ 0 πŸ“Œ 2
Preview
day03.doc Β· @systemfw/aoc-2025/main | Unison Share Explore, read docs about, and share Unison libraries

🌟 #AdventOfCode is in full swing in Unison!

Our community has made full use of Unison's computable doc format, writing up their solutions and helpful explainers!

Here's one from the Discord about Day 3! Join us! πŸ’Œ

04.12.2025 01:18 πŸ‘ 5 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0
Preview
Future of Coding Weekly 2025/12 Week 1 πŸ“’ Announcing Unison 1.0 πŸ“„ Towards Pen-and-Paper-Style Equational Reasoning πŸ§‘β€πŸ’» Tom Larkworthy go brrr Two Minute Week πŸ—¨οΈ Tom Larkworthy 🧡 conversation @ 2025-11-30 I have written a userspace hook to i

πŸ“° Check out who's in the latest Future of Coding Weekly newsletter!

02.12.2025 20:32 πŸ‘ 4 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0
Preview
@unison/advent-of-code | Unison Share πŸŽ„Template project with stubs for Advent of Code

🌟 It's time for #AdventOfCode! That means it's a great month to pick up a new programming language! Try it in Unison this year! 🎁

02.12.2025 00:07 πŸ‘ 9 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0

I've been watching Unison's development for several years. I was hooked the moment I first saw the slide "A Unison codebase is a database." Since then, an entire ecosystem has grown, including UCM Desktop, Unison Share, Cloud... And now, 1.0 is out! πŸŽ‰

26.11.2025 07:02 πŸ‘ 5 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

Yes! A perfect time to join us! 🎁

01.12.2025 17:49 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

HELL YEAH!!!!

I cannot describe how happy this makes me, ever since hearing RunΓ‘r give an early description of the idea...

The subsequent conversation had me hooked immediately.

25.11.2025 21:45 πŸ‘ 4 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

Want to try a radically innovative programming language?
Unison is ready!

Unison is approachable, user-friendly, and has a great community of friendly folks :)

On top of that it has mind-bending features like serializable function closures and built-in distributed programming tools!

25.11.2025 19:31 πŸ‘ 31 πŸ” 6 πŸ’¬ 1 πŸ“Œ 0
Preview
atproto-experiments A foundation for building tools on the AT Protocol using Unison Programming Language.

Sharing atproto-experiments: a foundation for building AT Protocol tools using @unison-lang.org . And the first tool is to sync Bluesky replies as @leaflet.pub comments. #atproto #unisonlang #leafletpub

26.11.2025 16:38 πŸ‘ 26 πŸ” 8 πŸ’¬ 3 πŸ“Œ 0
Preview
Announcing Unison 1.0 After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.

πŸŽ‰ Unison 1.0 has landed!

After years of engineering, design, and community collaboration, we’re excited to announce this milestone!

Spread the word!

25.11.2025 19:01 πŸ‘ 121 πŸ” 63 πŸ’¬ 0 πŸ“Œ 6