3 ms·
That's going to be a hard sell. I do research in programming languages now and I think you'd be hard pressed to argue that the fundamental nature of my work is
by Locke1689 15y ago
That's going to be a hard sell. I do research in programming languages now and I think you'd be hard pressed to argue that the fundamental nature of my work is a social science. Especially since the initiating paper included a proof of correctness...
- jdp23 15y agoWell, it's not _just_ a social science. There's still plenty of interesting work to do with 1's and 0's and proofs. But even in "hard CS" areas like programming languages, the social since aspects are pretty significant. What influences the success of new languages and evolutions of existing ones? Why haven't some obviously good featuers like pre- and post-conditions and invariants been better integrated by most mainstream languages? How to make functional programming accessible to a lot more people?