Type Checking is a Symptom, Not a Solution (via mpweiher) — discussion

#plt