Short and easy introduction to lenses, profunctor optics, and how to use them for state management.Functional lenses for contemporary frameworksSave
In this session we'll live-code our way to a deeper understanding & admiration of the computational power of the lambda, an abstraction fundamental to functional programming.The universe in a single arrow: A live dive into the lambda calculusSave
Short and easy introduction to lenses, profunctor optics, and how to use them for state management.Functional lenses for contemporary frameworksSave
Learn about the super powers ClojureScript can add to the view layer, and the benefits of functional programming.Building functional Front-ends with ClojureScriptSave
In this session we'll live-code our way to a deeper understanding & admiration of the computational power of the lambda, an abstraction fundamental to functional programming.The universe in a single arrow: A live dive into the lambda calculusSave
This talk introduces Programming Language Foundations in Agda, a new textbook that is also an executable Agda script---and also explains the role Agda is playing in IOHK's new cryptocurrency.(Programming Languages) in Agda = Programming (Languages in Agda)Save