> we need to recognize that the felt necessity of sophisticated type systems is ...

		_andrei_ 4 months ago \| parent \| context \| favorite \| on: Type checking is a symptom, not a solution > we need to recognize that the felt necessity of sophisticated type systems is a signal that we’re using the wrong architectural foundations I'd be forever ashamed if I wrote that.