Re:Type Theory and Functional Programming (1999) [pdf]
by layer8 on Wednesday October 01, 2025 @03:02PM
(#45441822)
Well, once it quacks like an imperative duck, what’s really the difference?
[ Parent
| on HN ]
Re:Type Theory and Functional Programming (1999) [pdf]
by implicit on Wednesday October 01, 2025 @08:35PM
(#45445241)
Right!
Over the last 3 or 4 decades, our procedural and OO languages have slowly been absorbing the best ideas from "FP languages." We're getting to the stage where the very idea of a "functional language" is eroding.