Get the latest tech news
Type Inference Zoo
Type Inference Algorithm Collections
Try out type inference examples and explore various algorithms directly in the browser. A consistent syntax across multiple type inference algorithms—no need to waste time building new parsers or pretty printers. Code is probably less ambiguous than the notation used in the paper and more approachable.
Or read this on Hacker News