3 ms·
Can you recommend some even-handed reading on the opposing views here?
by insulttogingery 12y ago
Can you recommend some even-handed reading on the opposing views here?
- Confusion 12y agoI'm not sure that there are any opposing views here. I think that once you filter out the actual arguments, they are mostly independent of each other. Which opposing views did you take away from these two blog posts?
- AnimalMuppet 12y agoCurry-Howard is central to how you think about programming vs. Curry-Howard is almost completely irrelevant to how you program? But maybe that disagreement goes away if I restate it slightly: Curry-Howard is central to how you think about programming vs. Curry-Howard is almost completely irrelevant to how you actually write programs. That is, if I am actually in the process of writing a program, I don't think about Curry-Howard very much, even if I'm working with the type system in Haskell. If I think about programming at a highly abstract level, then, OK, Curry-Howard might be considered a central insight.
- rntz 12y agoThis comment by Matthias Felleisen's is a very polite and well-considered position from an academic on the dynamically-typed side of the spectrum: http://existentialtype.wordpress.com/2014/04/21/bellman-confirms-a-suspicion/#comment-1362 http://existentialtype.wordpress.com/2014/04/21/bellman-conf... Harper himself can't be relied on to be so cordial, unfortunately.