Note: I'm a fan of static typing and type systems.
Clojure core.async (Rich Hickey)
[Add ALL the things: abstract algebra meets analytics (Avi Bryant)](https://thestrangeloop.com/sessions/add-all-the-things- abstract-algebra-meets-analytics)
zip Code: Unpacking Data Compression (Scott Vokes)
Partitions for everyone! (Kyle Kingsbury)
Scala vs Idris: Dependent types, now and in the future (Miles Savin and Edwin Brody)
Functional Reactive Programming in Elm (Evan Czoplicki)
Learnfun and Playfun: A Nintendo automation system (Tom Murphy VII)