Thesis, Antithesis, Synthesis Types Bad, Types Good, Types are a gateway into so...

		carapace on Sept 27, 2020 \| parent \| context \| favorite \| on: Things I Was Wrong About: Types Thesis, Antithesis, Synthesis Types Bad, Types Good, Types are a gateway into sophisticated automation of programming tasks but not a panacea.