Request for Typestate, Part 1: Typestate-oriented programming and Linear Types | Hacker News Reader