Re: quotations

In article <2025Feb9.164500@mips.complang.tuwien.ac.at>,
Anton Ertl <anton@mips.complang.tuwien.ac.at> wrote:

dxf <dxforth@gmail.com> writes:

What language do you know where
nested definitions are nameless?

>
Just to name a few: Lisp, Smalltalk, Postscript, Joy, Factor.  A much
longer list can be found at
<https://en.wikipedia.org/wiki/Anonymous_function#List_of_languages>.

In algol 68 the function is

proc add := (int x, int y) int : x+y;      1)

You have a symbolic reference add where a function is filled in.
Lateron you can reassign the function add with a "function denotation"
   (int a, int b) int : a-b;

[But the "(int x, int y) int " signature sticks.
Formally it is an abbreviation of
proc add (int x, int y) int := (int x, int y) int : x+y; ]

This is the insight that I wanted to convey that the
function denotation is fundamental, and the name is incidental.

>
- anton

Groetjes Albert

1) Normally you use = instead of :=. Then you cannot change assign
to add.
--
Temu exploits Christians: (Disclaimer, only 10 apostles)
Last Supper Acrylic Suncatcher - 15Cm Round Stained Glass- Style Wall
Art For Home, Office And Garden Decor - Perfect For Windows, Bars,
And Gifts For Friends Family And Colleagues.