Leveraging the type system to avoid mistakes


New top story on Hacker News: Leveraging the type system to avoid mistakes