Types as a design tool (by iamwil) — discussion

#programming