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
-
Yeah it's been perfect for me since I want to get up to speed on all these topics w/o much prior background! I think Coq proofs are a recent addition to the class.. has been fun, but a lot of work to learn Coq in addition to the actual proof techniques
Never learned Coq. I've been trying to prolong my exposure to proof assistants long enough that they finally gain a modicum of usability. (And people figure out interesting real-world things to model with them beyond compilers.) Maybe that's F*?
-
-
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.
- Show replies
New conversation -
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.