Colin Roberts
@autoparallel
I spent the last week writing up a self-contained piece that begins the dive into exposing the relationship between software and categorical diagrams. If you want more explanation, just let me know. There will be more... Wanna read it? Go here: https://autoparallel.xyz/longform/holy_trinity/algebra-as-computation/
1 reply
0 recast
0 reaction
Colin Roberts
@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
