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)
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)