A blog about typed programming
Last post
Ben Lippmeier has posted an implementation of his region, effect, and closure inference in a Haskell dialect called The Disciplined Disciple Compiler.
I have created a subreddit for types. (Static analysis is also welcome.)
