ScalaConf, Moscow, Russia, 26 Nov, @ScalaConfRu

Become a patron

Scala in the City, London, UK, 28 Aug, @Scalainthecity

Scala World, The Lake District, UK, 31 Aug – 4 Sep, @scalaworldconf

Rúnar Bjarnason – Icelander. Eudaimonist. Individualist. Cofounder, Unison Computing. Author of Functional Programming in Scala.

Evolution

A Gentle Introduction to Haskell

Clean programming language

“Why Functional Programming Matters” by John Hughes

FP on JVM

Functional Programming in Scala a.k.a. the Red book

FP in Dotty

Standard library is a double-edged sword?

Missing features

Category theory

“Category Theory for Programmers” by Bartosz Milewski

“Category Theory for the Sciences” by David I. Spivak

“Category Theory” by Steve Awodey

“Category Theory in Context” by Emily Riehl

“Categories for the Working Mathematician” by Saunders Mac Lane

Unison programming language

Inspiration for Unison

The central idea of Unison

How to update Unison programs

Unison types

“Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism” by Joshua Dunfield, Neelakantan R. Krishnaswami

Lennart Augustsson: Better type-error messages

Frank programming language

“Do be do be do” by Sam Lindley, Conor McBride, and Craig McLaughlin

Compile once!

All things that Unison doesn’t do because they are old and busted

Why Unison?

Puccini’s La bohème

Puccini’s Tosca

Verdi’s La Traviata

Why opera?

Why philosophy?

What is love?