Re: [racket-users] Re: Redex: making a #lang with native lambda, app, etc.

2019-01-03 Thread William J. Bowman
Joey, An early version of Cur did this (which worked well for an initial model, but was terrible for performance and debugging). I don't have anything written up, but you can try reading the code and pinging me with questions:

Re: [racket-users] Re: Redex: making a #lang with native lambda, app, etc.

2019-01-03 Thread Shu-Hung You
Deferring everything to runtime could avoid macros as much as possible. You can implement input parsing as a function and use the macro only to glue things together. #lang racket/base (require (for-syntax racket/base) syntax/parse/define redex/reduction-semantics) (provide