Concatenative topics
Concatenative meta
Other languages
Meta
(( ... )) call-with : foo ( ... q: ( a -- b ) -- ) call ;
we can roll this out in phases:
phase 1: require declarations in all contexts and have :, HOOK:, GENERIC:
actually parse the declaration so omitting it is a syntax error
assert-depth should infer
phase 2: introduce ... in stack effects and enforce it
no such thing as an inference warning anymore!
phase 3: define-declared becomes define
This revision created on Sun, 23 Nov 2008 10:25:35 by slava