2 ms·
Obviously I don't have a solution to offer anyone, but this is one of my motivations for wanting to learn more about things like category theory, type theory, f
by epgui 3y ago
Obviously I don't have a solution to offer anyone, but this is one of my motivations for wanting to learn more about things like category theory, type theory, functional programming...
It's not directly about getting skills that will land me a high paying job (via... marketable resume keywords?), it's more about trying to understand the fundamentals that no PL or framework trend, or social current, can obviate.
- starcraft2wol 3y agoI agree with the general idea of math and science. However the fields you mentioned are mostly useful for formalizing computer languages. If you want more concepts to use in actual programs, I think there are more practical areas to look in.