The reason the with-... combinators are typically inline is that they can
be used in different situations with different stack effects. If you want
to make the stack effects static, something like this could work:
: with-ctrl-break ( lines quot: ( lines -- quot ) -- quot )
enable-ctrl-break
24.08.2016, 02:17, "John Benediktsson" :
> You are right that you can't `call` a dynamic quotation but you can `get
> call( -- )` it just fine. The issue is knowing the implied stack effect of
> the quotation being called. If you provide it then the caller will get the
> value of the symbol and
You are right that you can't `call` a dynamic quotation but you can `get call(
-- )` it just fine. The issue is knowing the implied stack effect of the
quotation being called. If you provide it then the caller will get the value
of the symbol and check the desired stack effect matches before ca
Hello!
Why is it that I can't just store any with-... combinator in a SYMBOL, then
use `SYMBOL get call`?
I get it that we want to check the stack effects, but doesn't it break the
idea of concatenativity?
The fact that we inline all the with-... combinators -- is there a way around
it?