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
phase 4: get rid of ... effects hopefully
issues:
dip
, bi
, and so on, become strongly-typed.This revision created on Wed, 26 Nov 2008 00:33:44 by slava