[racket-users] Re: [ANNOUNCE] New package typed-compose

Nice package. I don't have an account and don't know how to do pull request on Marvid thing, but I suggest making a macro generating `compose-n` for arbitrary (statically known) n, and export it along side with the predefined compose-n functions, something along these lines: #lang typed/racket/

[racket-users] Racket slower than Chez Scheme on interpreter benchmark, potential low hanging fruit?

There’s this benchmark on BF interpreter where the Racket and Chez Scheme implementations are very similar, but Chez Scheme is much faster than Racket 8.0 at in

Re: [racket-users] Racket slower than Chez Scheme on interpreter benchmark, potential low hanging fruit?

run with `--optimize-level 3` which turns off safety. If that > was changed to `--optimize-level 2` the timing became much slower. > > Sam > > On Mon, Mar 1, 2021 at 2:39 AM philngu...@gmail.com > wrote: > > > > There’s this benchmark on BF interpreter where the Racket

Re: [racket-users] Racket slower than Chez Scheme on interpreter benchmark, potential low hanging fruit?

se of multiple > values, although that's hard without eliminating the failure cases. > > Sam > > On Thu, Mar 4, 2021 at 3:23 AM philngu...@gmail.com > wrote: > > > > Thanks for the tip about PLT_CS_COMPILE_LIMIT! I submitted a revision to > the syntax object var

[racket-users] Re: Judgement not holding

It’s difficult without seeing the definitions, but here are a few general comments: 1. Cases in judgment forms are not run in order. If multiple cases match, they’ll all hold. For example, in this case, if (anotin ((a -> b ...)) a #t) holds, (anotin ((a_0 -> b ...)) a #f) will also hold. 2. If