cognitive psychology. PhD 
(that was a joke, if it wasn't clear)
-
Is the resistance *because* of Haskell's facilities for abstraction though? Cambridge teaches OCaml, Brown/Northeastern teach Racket, CMU teaches SML. I would suspect resistance comes more from lack of perceived applicability in industry.
but much of the work on DSLs, programming by example, direct manipulation programming, and live programming incorporates these ideas today
To @amyjko's point, I think the issue is that formalism/FP/abstraction/etc. has never been well justified from either a cognitive (or even software engineering) perspective. The PL community works on, at best, intuition and hunches about what makes programmers effective.
-
-
The root of the tension and this and prior threads was my overgeneralization about computing culture (Turkle & Papert also overgeneralized). There *is* a lot of diversity in what PL principles are valued across CS, and this diversity is good. I retract my hot take of hegemony :)
-
I appreciate that. I genuinely want us to all learn from one another -- this is really a critical time in the history of computing, imo -- and it would help that effort for all of us to be more measured in how we characterize other communities.
- 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.