Re: [Factor-talk] Callables Concatenation

2016-08-23 Thread John Benediktsson
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

Re: [Factor-talk] Callables Concatenation

2016-08-23 Thread Alexander Ilin
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

Re: [Factor-talk] Callables Concatenation

2016-08-23 Thread 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 check the desired stack effect matches before ca

[Factor-talk] Callables Concatenation

2016-08-23 Thread Alexander Ilin
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?