News for hackers. Stuff that matters.

A comment on Type Theory and Functional Programming (1999) [pdf]. Parent comment

Re:Type Theory and Functional Programming (1999) [pdf] by lelele on Wednesday October 01, 2025 @12:03PM (#45439357)
>> From an OOP perspective, lambdas are just syntactic sugar for a special form of objects.

Indeed Smalltalk - a pure OOP language - had `Block` objects fifty years ago.

>> I'm convinced that imperative programming will endure alongside functional code, because being stateful is how the real world works, and most programs have to repeatedly interact with the real world over the course of their execution.

That, and also who wants to wrestle with monad transformers to make a stateful computation work when they have to fix a bug in production ASAP?

[ Parent | on HN ]
Re:Type Theory and Functional Programming (1999) [pdf] by taolson on Wednesday October 01, 2025 @06:47PM (#45444525)
> Indeed Smalltalk - a pure OOP language - had `Block` objects fifty years ago.

Although in the original Smalltalk-80, blocks were not full closures, so it didn't support all the things you would expect to be able to do with a lambda.

[ Parent | on HN ]
Re:Type Theory and Functional Programming (1999) [pdf] by igouy on Thursday October 02, 2025 @11:24AM (#45450957)
"The major commercial Smalltalk implementations of the 1990’s all corrected these problems and developed various techniques for efficiently implementing blocks."

https://wirfs-brock.com/allen/things/smalltalk-things/effici...

[ Parent | on HN ]