The types have came for me autoparallel.xyz
4 Followers
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/
I’ve landed in a cocartesian monoidal category
Gm
Gm
I’ve landed in a cocartesian monoidal category
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/
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!