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

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

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 >

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

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

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"