hn-classics/_stories/2004/5082134.md

545 B

created_at title url author points story_text comment_text num_comments story_id story_title story_url parent_id created_at_i _tags objectID year
2013-01-19T01:12:09.000Z Why type systems are interesting (2004) http://lambda-the-ultimate.org/node/100 gnosis 52 20 1358557929
story
author_gnosis
story_5082134
5082134 2004

Source

Why type systems are interesting | Lambda the Ultimate