devtools.fm: Developer Tools, Open Source, Software Development Rúnar Bjarnason - Unison
Dec 16, 2022
In this conversation, Rúnar Bjarnason, co-founder of Unison Computing and a pioneer in functional programming, delves into the revolutionary Unison programming language. He discusses how Unison's content-addressable approach streamlines software development by eliminating traditional build processes, thus enhancing productivity. Rúnar also highlights its innovative mechanisms for dependency management and error handling, paving the way for seamless asynchronous programming. This unique language promises to transform how developers tackle distributed systems.
AI Snips
Chapters
Transcript
Episode notes
Hashes Ignore Names
- Unison computes hashes by removing names and hashing the syntax tree, so identical implementations share hashes regardless of naming.
- This increases reuse and reveals when independently written functions are actually identical.
Finding Duplicate Implementations
- Rúnar tried to add a utility function to the base library and discovered someone else had already written the same implementation.
- The content-addressed hash revealed the duplicate by matching the implementation despite different naming.
Renames Are Free
- Names in Unison are metadata attached to hashed definitions, so renames don't break references.
- You can give multiple names to the same implementation and change naming without breaking code.