Re: [Factor-talk] Compiler

2021-08-24 Thread dgpdx 
OK, thanks.
—
don

> On Aug 24, 2021, at 14:53, John Benediktsson  wrote:
> 
> Probably 2022.
> 
> On Tue, Aug 24, 2021 at 2:33 PM dgpdx  > 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 > > wrote:
>> 
>> Contributions are welcome!
>> 
>> (Also questions, if you have any.)
>> 
>> On Tue, Aug 24, 2021 at 2:17 PM George Cherevichenko 
>> 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 > >:
>> 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 
>> 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 
>> 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 
>> 
>> ___
>> 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 
> 
> ___
> 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

Re: [Factor-talk] Compiler

2021-08-24 Thread John Benediktsson 
Probably 2022.

On Tue, Aug 24, 2021 at 2:33 PM dgpdx  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  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> 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 :
>>
>>> 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 <
>>> 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
 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
>>
> ___
> 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
>
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Compiler

2021-08-24 Thread dgpdx 
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  wrote:
> 
> Contributions are welcome!
> 
> (Also questions, if you have any.)
> 
> On Tue, Aug 24, 2021 at 2:17 PM George Cherevichenko 
> 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  >:
> 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 
> 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 
> 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 
> 
> ___
> 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

Re: [Factor-talk] Compiler

2021-08-24 Thread John Benediktsson 
Contributions are welcome!

(Also questions, if you have any.)

On Tue, Aug 24, 2021 at 2:17 PM George Cherevichenko <
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 :
>
>> 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 <
>> 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
>>> 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
>
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Compiler

2021-08-24 Thread George Cherevichenko 
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 :

> 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 <
> 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
>> 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

Re: [Factor-talk] Compiler

2021-08-24 Thread John Benediktsson 
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 <
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
> 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