I’d love to use factor. Any idea when the port to arm64 will be completed? — don
> On Aug 24, 2021, at 14:29, John Benediktsson <mrj...@gmail.com> wrote: > > Contributions are welcome! > > (Also questions, if you have any.) > > On Tue, Aug 24, 2021 at 2:17 PM George Cherevichenko > <george.chereviche...@gmail.com <mailto:george.chereviche...@gmail.com>> > 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 <mrj...@gmail.com > <mailto:mrj...@gmail.com>>: > 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 > > <https://github.com/factor/factor/blob/master/core/bootstrap/primitives.factor#L289> > > > > On Wed, Aug 18, 2021 at 3:01 PM George Cherevichenko > <george.chereviche...@gmail.com <mailto:george.chereviche...@gmail.com>> > 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 > Factor-talk@lists.sourceforge.net <mailto:Factor-talk@lists.sourceforge.net> > https://lists.sourceforge.net/lists/listinfo/factor-talk > <https://lists.sourceforge.net/lists/listinfo/factor-talk> > _______________________________________________ > Factor-talk mailing list > Factor-talk@lists.sourceforge.net <mailto:Factor-talk@lists.sourceforge.net> > https://lists.sourceforge.net/lists/listinfo/factor-talk > <https://lists.sourceforge.net/lists/listinfo/factor-talk> > _______________________________________________ > Factor-talk mailing list > Factor-talk@lists.sourceforge.net <mailto:Factor-talk@lists.sourceforge.net> > https://lists.sourceforge.net/lists/listinfo/factor-talk > <https://lists.sourceforge.net/lists/listinfo/factor-talk> > _______________________________________________ > Factor-talk mailing list > Factor-talk@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/factor-talk
_______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
