Unison: a friendly programming language from the future

location_city Online schedule May 6th 09:00 - 09:45 AM place Grand Ball Room 1

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

  1. Intro
  2. What is Unison?
  3. Why Unison?
  4. Big ideas / main takeaways
  5. Hashes and content-addressed data
  6. The codebase as an immutable data structure
  7. Names don't matter, hashes do
  8. Builds are a waste of time
  9. How Unison avoids dependency conflicts
  10. Unison code describes its own deployment
  11. Status and roadmap
  12. Demo if there's time

Target Audience

People curious about the future of programming languages

schedule Submitted 1 month ago