OK, thanks. — don > On Aug 24, 2021, at 14:53, John Benediktsson <[email protected]> wrote: > > Probably 2022. > > On Tue, Aug 24, 2021 at 2:33 PM dgpdx <[email protected] > <mailto:[email protected]>> wrote: > 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 <[email protected] >> <mailto:[email protected]>> wrote: >> >> Contributions are welcome! >> >> (Also questions, if you have any.) >> >> On Tue, Aug 24, 2021 at 2:17 PM George Cherevichenko >> <[email protected] <mailto:[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] >> <mailto:[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 >> >> <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] <mailto:[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] <mailto:[email protected]> >> https://lists.sourceforge.net/lists/listinfo/factor-talk >> <https://lists.sourceforge.net/lists/listinfo/factor-talk> >> _______________________________________________ >> Factor-talk mailing list >> [email protected] <mailto:[email protected]> >> https://lists.sourceforge.net/lists/listinfo/factor-talk >> <https://lists.sourceforge.net/lists/listinfo/factor-talk> >> _______________________________________________ >> Factor-talk mailing list >> [email protected] <mailto:[email protected]> >> https://lists.sourceforge.net/lists/listinfo/factor-talk >> <https://lists.sourceforge.net/lists/listinfo/factor-talk> >> _______________________________________________ >> Factor-talk mailing list >> [email protected] <mailto:[email protected]> >> https://lists.sourceforge.net/lists/listinfo/factor-talk >> <https://lists.sourceforge.net/lists/listinfo/factor-talk> > > _______________________________________________ > Factor-talk mailing list > [email protected] <mailto:[email protected]> > https://lists.sourceforge.net/lists/listinfo/factor-talk > <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
