From System F to typed assembly language | Dark Hacker News