Writing and speaking about monads has developed into a cottage industry. Googling “monad tutorial” returns 92,000 hits, for languages ranging from Haskell to Clojure, Python to Scala, F# to C#, with analogies ranging from writing desks to space suits, boxes of fruit to a pair of burritos, hipster cool to love affairs.
This talk reprises the first monad tutorial. It explains how monads arise naturally by considering variations of a a simple interpreter for arithmetic expressions, and introduces a simple API usable in a wide range of applications. It is suitable for anyone familiar with the basics of functional programming, and contains no analogies.
Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh. He is an ACM Fellow and a Fellow of the Royal Society of Edinburgh, past chair of ACM SIGPLAN, and past holder of a Royal Society-Wolfson Research Merit Fellowship. Previously, he worked or studied at Stanford, Xerox Parc, CMU, Oxford, Chalmers, Glasgow, Bell Labs, and Avaya Labs, and visited as a guest professor in Copenhagen, Sydney, and Paris. He has an h-index of 61, with more than 18,000 citations to his work according to Google Scholar. He is a winner of the POPL Most Influential Paper Award, has contributed to the designs of Haskell, Java, and XQuery, a…
Original video: https://www.youtube.com/watch?v=yjmKMhJOJos
Downloaded by http://huffduff-video.snarfed.org/ on Mon, 19 Mar 2018 23:52:57 GMT
Available for 30 days after download