Skip to content
Hallway
0:00 / 0:00

#unison#content-addressablecode

Rúnar Bjarnason, "Unison: A Friendly Programming Language from the Future"

Houston FPUG

954 subscribers • 4 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Rúnar Bjarnason, co-founder of Unison Computing

Intermediate. Assumes working knowledge.

6.3K views4 years ago2 recommendations

Programming languagesSoftware designLanguage design and type systemsFunctional programming

Rúnar Bjarnason introduces Unison, a functional programming language where code is identified by its content hash rather than by name.

Unison is a radical new functional programming language that rethinks all aspects of the programming experience including the core language, runtime, tooling, as well as code versioning and publishing. The goal is to do whatever is necessary to eliminate needless complexity and make building software a delightful experience. This talk is an overview of Unison and its two main ideas. Firstly, that a Unison codebase is structured immutable data rather than a mutable bag of text files. Secondly, that Unison definitions are referenced by a hash of their implementation rather than by name. We’ll see how these ideas have profound implications for what it’s like to write and consume software. Bio: Rúnar is a cofounder of Unison Computing, which is creating the Unison programming language. Rúnar has been doing purely functional programming in Scala since 2005, and is one of two authors of the book Functional Programming in Scala.

Why it's here

2 people recommend this

What people say. Recommended as an introduction to Unison and its unique content-addressed code model.

u/David-Kunzin r/programming • Recommends

On “Programming breakthroughs we need”

The author might find the Unison language interesting, an append-only language where functions are defined by their content: link to this video
10View on Reddit

u/EsperSpiritin r/haskell • Recommends

On “how difficult/complicated is Haskell, and is it harder than Rust, C++, and Scala?”

It is. I personally haven't used it for that because I came from Haskell to Scala but I looked through it (we have it lying around at work) and it's really good. The two authors really know what they are talking about and have even started a company to develop an interesting new FP language called Unison.
2View on Reddit