@autoparallel
Using a type system allows you to write code that carries around proofs of correctness and prevents you, an engineer, from footguns.
On the flipside, you've really been holding on to commutative diagrams and working with products and coproducts naturally this whole time!
1 reply
0 recast
0 reaction