7 ms·
I don't see how you could actually come up with new stuff in PLT without a very heavy math background, specifically in logic. I mean it's not impossible just ex
by jcora 7y ago
I don't see how you could actually come up with new stuff in PLT without a very heavy math background, specifically in logic. I mean it's not impossible just extremely unlikely.
- derefr 7y agoNew programming languages aren’t usually examples of novel advances in type theory. They’re usually just novel combinations of existing features. They’re still “bleeding edge” in the sense that they’re what the industry will be using in 20 years.