Deeper theories of program design (by typesanitizer) — discussion

#philosophy