Beyond the type system


New top story on Hacker News: Beyond the type system