Rúnar Bjarnason at Lambda World Seattle 2018
Introduction to the Unison Programming Language
Unison is a new purely functional programming language, currently under development. Unison treats any pool of networked machines as if they formed a single supercomputer, and lets you program this supercomputer simply and directly. This talk will introduce the Unison language, its type system, runtime, and developer experience, as well as the core ideas that make Unison unique.