Re: [Factor-talk] Compiler

[dgpdx <dgr...@gm...>]

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 <mr...@gm...> wrote:
> 
> Contributions are welcome!
> 
> (Also questions, if you have any.)
> 
> On Tue, Aug 24, 2021 at 2:17 PM George Cherevichenko <geo...@gm... <mailto: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... <mailto: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 <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... <mailto: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... <mailto:Fac...@li...>
> https://lists.sourceforge.net/lists/listinfo/factor-talk <https://lists.sourceforge.net/lists/listinfo/factor-talk>
> _______________________________________________
> Factor-talk mailing list
> Fac...@li... <mailto:Fac...@li...>
> https://lists.sourceforge.net/lists/listinfo/factor-talk <https://lists.sourceforge.net/lists/listinfo/factor-talk>
> _______________________________________________
> Factor-talk mailing list
> Fac...@li... <mailto:Fac...@li...>
> https://lists.sourceforge.net/lists/listinfo/factor-talk <https://lists.sourceforge.net/lists/listinfo/factor-talk>
> _______________________________________________
> Factor-talk mailing list
> Fac...@li...
> https://lists.sourceforge.net/lists/listinfo/factor-talk