cognitive psychology. PhD 
As I spend my Saturday night proving properties of the type system for an imperative programming language, my main takeaway is that imperative languages were a terrible mistake and should be banned
-
heh fair enough :) definitely feeling the question you raise in your paper about your class though: how do all these ideas actually apply to designing new better languages? curious how much this class will get there vs. just teaching the foundational skills
Most people who take OS don't build OSes, but many love the unique challenge of tricky, holistic system design. I see PLT as the same but for thinking mathematically about programming, which is an equally valuable soft skill.
-
-
At CMU, companies heavily recruited OS students b/c they were the best engineers. I see a world where PL students are recruited as the best architects, b/c they know how to design modular systems/DSLs, carefully articulate software properties/behavior, etc.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.