0:34
ScalaConf, Moscow, Russia, 26 Nov, @ScalaConfRu
1:01
Become a patron
1:22
Scala in the City, London, UK, 28 Aug, @Scalainthecity
1:32
Scala World, The Lake District, UK, 31 Aug – 4 Sep, @scalaworldconf
1:58
Rúnar Bjarnason - Icelander. Eudaimonist. Individualist. Cofounder, Unison Computing. Author of Functional Programming in Scala.
2:05
Evolution
4:30
A Gentle Introduction to Haskell
5:00
Clean programming language
5:18
"Why Functional Programming Matters" by John Hughes
6:05
FP on JVM
8:45
Functional Programming in Scala a.k.a. the Red book
17:32
FP in Dotty
18:28
Standard library is a double-edged sword?
20:11
Missing features
21:51
Category theory
23:27
"Category Theory for Programmers" by Bartosz Milewski
23:51
"Category Theory for the Sciences" by David I. Spivak
23:58
"Category Theory" by Steve Awodey
24:05
"Category Theory in Context" by Emily Riehl
25:05
"Categories for the Working Mathematician" by Saunders Mac Lane
26:20
Unison programming language
28:42
Inspiration for Unison
30:28
The central idea of Unison
36:03
How to update Unison programs
41:45
Unison types
41:59
"Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" by Joshua Dunfield, Neelakantan R. Krishnaswami
42:30
Lennart Augustsson: Better type-error messages
44:02
Frank programming language
44:12
"Do be do be do" by Sam Lindley, Conor McBride, and Craig McLaughlin
52:58
Compile once!
56:53
All things that Unison doesn't do because they are old and busted
64:37
Why Unison?
65:00
Puccini's La bohème
65:55
Puccini's Tosca
65:58
Verdi's La Traviata
66:24
Why opera?
67:20
Why philosophy?
70:02
What is love?
Follow us on Twitter @scala_love
Have a lovely day! ❤️