|
|
|
|
|
by csbartus
409 days ago
|
|
Here is a birds-eye view of programming (classic, functional, quantum) vs category theory vs logic -- aka the computational trilogy: https://ncatlab.org/nlab/show/computational+trilogy It helped me a lot putting into context my existing programming knowledge while learning category theory |
|