Hacker News new | ask | show | jobs
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