1 Comment
Jun 17, 2023·edited Jun 17, 2023

Great post! It echoes some of the points made in John Backus' ACM Turing Award Lecture...from 1977(!!).

Same as it ever was, etc.

Have you read it? Would be interesting to heart your thoughts.

The lecture was called "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs"

PDF: https://dl.acm.org/doi/pdf/10.1145/359576.359579

In the lecture he outlines a toy, point-free language called FP as a gesture towards what he means: https://en.wikipedia.org/wiki/FP_(programming_language)

His criticism of Lisp-like languages is also that they have too many degrees of freedom, so that every Lisp codebase eventually becomes written in a program-specific idiolect/dialect of Lisp.

Expand full comment