|
|
|
|
|
|
by anon335dtzbvc
3181 days ago
|
|
|
Could someone explain to me why everyone is crazy about type theory? ATM i learn category theory by watching and reading the awesome material from Bartosz Milewski. Should i stop and learn type theory instead, if i want to know more about programming languages in an abstract / general sense? |
|
|