3 ms·Request for Typestate, Part 1: Typestate-oriented programming and Linear Types2 points by davidmathers 16y ago