Tom Harding @whoaitstom is blogging again. Currently he’s doing an introduction to lambda calculus. John Hardy Lambda January 11, 2018 1 Minute Tom Harding @whoaitstom is blogging again. Currently he’s doing an introduction to lambda calculus. http://www.tomharding.me/2018/01/09/dependable-types/ Share this: Click to share on X (Opens in new window) X Click to share on Facebook (Opens in new window) Facebook Like Loading... Related Published by John Hardy Closures are a poor man's object. Objects are a poor man's closure. View all posts by John Hardy Published January 11, 2018