Eric Normand personal blog
Church vs. Curry Types
Static vs dynamic typing debates often flounder because the debators see from two different perspectives without knowing it. Learning to identify the two perspectives can calm the discussion. The tension between the two perspectives has led to Gradual Typing and other technologies.
- Points
- 105
- HN comments
- 45
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2023
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 18, 2023 | Church vs. Curry Types by todsacerdoti | 105 | 45 |