cognitive psychology. PhD 
Against Higher-Order Functionspic.twitter.com/2oa5B3lFjw
Show this thread
-
Ironically, the languages I know if with the best support for abstract-algebra-style parameterization over modules of related functions are... ML and Haskell, both higher order functional.
If you read the paper, the language he's advocating (OBJ) looks *a lot like* SML, except minus higher-order functions. I think that's the interesting part of the claim: if you took SML, removed HOF, you'd still be just fine.
-
-
I think about how modules in SML don't feel simple. A lot more syntax, and clunkiness compared to writing functions. But maybe if you forced everyone to use modules, you'd have to come up with a better systems. "What if we made a PL that only had modules?" http://blog.ezyang.com/2012/11/extremist-programming/ …
-
Resurrecting a dead thread, but it seems to me that if what you have are values, functions, and modules, each parameterized over the previous, what you really have is precisely *second-order* programming.
- 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.