Re: [Factor-talk] Compiler

[John B. <mr...@gm...>]

Contributions are welcome!

(Also questions, if you have any.)

On Tue, Aug 24, 2021 at 2:17 PM George Cherevichenko <
geo...@gm...> wrote:

> Thank you. I think, I understand stack-checker now. The problem
> (stack-effect checking) is very close to "typization" in lambda-calculi,
> but Pestov set types to "loop" and "while". I'll think about it:)
>
> вт, 24 авг. 2021 г. в 21:59, John Benediktsson <mr...@gm...>:
>
>> You can see some curry declared and then defined as part of bootstrap in:
>>
>>
>> https://github.com/factor/factor/blob/master/core/bootstrap/primitives.factor#L289
>>
>>
>>
>> On Wed, Aug 18, 2021 at 3:01 PM George Cherevichenko <
>> geo...@gm...> wrote:
>>
>>> Hi
>>> Where are definitions of "curry" and "compose"? I can't find them in
>>> kernel.factor
>>> Is it a trick of compiler? For example, "dip" is defined as
>>> : dip ( x quot -- x ) swap [ call ] dip ;
>>> "because the compiler special-cases them".
>>> What is "namespaces:set" in compiler.factor?
>>> _______________________________________________
>>> Factor-talk mailing list
>>> Fac...@li...
>>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>>
>> _______________________________________________
>> Factor-talk mailing list
>> Fac...@li...
>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>
> _______________________________________________
> Factor-talk mailing list
> Fac...@li...
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>