Par programming language (exploring linear types, guaranteed progress, more) | Dark Hacker News