Contributions are welcome! (Also questions, if you have any.)
On Tue, Aug 24, 2021 at 2:17 PM George Cherevichenko < [email protected]> 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 <[email protected]>: > >> 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 < >> [email protected]> 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 >>> [email protected] >>> https://lists.sourceforge.net/lists/listinfo/factor-talk >>> >> _______________________________________________ >> Factor-talk mailing list >> [email protected] >> https://lists.sourceforge.net/lists/listinfo/factor-talk >> > _______________________________________________ > Factor-talk mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/factor-talk >
_______________________________________________ Factor-talk mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/factor-talk
