Uh oh: after 20 years of software development I'm getting deep into type systems

Comments