Nested definitions (was: Parsing timestamps?)

On 2025-06-24 01:03, minforth wrote:
[...]

For me, the small syntax extension is a convenience when working
with longer definitions. A bit contrived (:= synonym for TO):
 : SOME-APP { a f: b c | temp == n: flag z: freq }
\ inputs: integer a, floats b c
\ uninitialized: float temp
\ outputs: integer flag, complex freq
  <: FUNC < ... calc function ... > ;>

BTW, why do you prefer the special syntax `<: ... ;>`
over an extension to the existing words `:` and `;`
   : SOME-APP
      [ : FUNC < ... calc function ... > ; ]
      < ... >
   ;
In this approach the word `:` knows that it's a nested definition and behaves accordingly.

\ emulated embedded function using { | xt: func }
  < ... calc something ... > := temp
  < ... calc other things ... > := freq  / basic formula
  < ... calc other things ... > := flag
  < ... calc correction ... > := freq  / better estimation
;

--
Ruvim