Unison: a friendly programming language from the future
Unison is a new open source functional programming language based on a simple idea with big implications: every type and definition in the language has a unique cryptographic signature, determined by its content. Instead of a bag of mutable text files, the Unison codebase is a distributed immutable data structure and the signature serves as a global address into this structure. This is the basis for some serious improvements to the developer experience. Unison has no builds, no dependency conflicts in the traditional sense, and it allows for easy dynamic deployment of code in a distributed setting.
Outline/Structure of the Talk
- What is Unison?
- Why Unison?
- Big ideas / main takeaways
- Hashes and content-addressed data
- The codebase as an immutable data structure
- Names don't matter, hashes do
- Builds are a waste of time
- How Unison avoids dependency conflicts
- Unison code describes its own deployment
- Status and roadmap
- Demo if there's time
People curious about the future of programming languages