4 ms·

Categories for the Working Hacker [video]

• BucketSort 8y ago
  Some background for the uninitiated, this is Lambda Man, or Philip Wadler. One of the core contributors to Haskell. He also introduced monads to Haskell, which has had a huge impact on functional programming in general (https://ncatlab.org/nlab/files/WadlerMonads.pdf https://ncatlab.org/nlab/files/WadlerMonads.pdf). His home page has so many functional programming treasures: http://homepages.inf.ed.ac.uk/wadler/ http://homepages.inf.ed.ac.uk/wadler/. His most recent book is "Programming Language Foundations in Agda", which is available for free: https://plfa.github.io/ https://plfa.github.io/. I have no affiliation, just a fan.
  • totalperspectiv 8y ago
    Thanks for sharing that book! Super cool!
• agumonkey 8y ago
  I thought it would be an old talk but it's from Strange Loop 2018 * plays
• contravariant 8y ago
  This is the first time I've seen someone casually use "f;g" as notation for (reversed) function composition. I'm glad for it, but does anyone know how widespread this notation is?
• robertkrahn01 8y ago
  Here are slides of an earlier version of the talk given at QConSF 2017: http://homepages.inf.ed.ac.uk/wadler/papers/categories/qcon-sf.pdf http://homepages.inf.ed.ac.uk/wadler/papers/categories/qcon-...
• deleted 8y ago
  [deleted]