Re:The Dao of Functional Programming [pdf]
by carapace on Tuesday May 24, 2022 @10:14PM
(#31499893)
> the Turing Award paper is not a script that everyone is following.
Yah, that's my point.
> it is difficult to look at the functional programming scene now and conclude that deriving your program algebraically is a more essential aspect of the activity than using referentially transparent expressions.
Again, that's my point. It's not now but it should be. We are missing out.
It's like we are still using Roman numerals even though the Indo-Arabic numeral system has been invented and is ever-so-slowly diffusing into common knowledge.
Yah, that's my point.
> it is difficult to look at the functional programming scene now and conclude that deriving your program algebraically is a more essential aspect of the activity than using referentially transparent expressions.
Again, that's my point. It's not now but it should be. We are missing out.
It's like we are still using Roman numerals even though the Indo-Arabic numeral system has been invented and is ever-so-slowly diffusing into common knowledge.