In article <2025Feb9.164500@mips.complang.tuwien.ac.at>,   
   Anton Ertl  wrote:   
   >dxf  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   
   >.   
      
   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.   
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)