Re: [racket-users] Reimplementing Hackett’s type language: expanding to custom core forms in Racket

Hi Alexis, Great article. And timely too, since it addresses some of the same usage issues of local-expand and stoplists that we ran into with Turnstile. (I'm also interested in why the core forms are added to the stop list. Is it because of let-syntax? I know it's probably been mentioned before

Re: [racket-users] Reimplementing Hackett’s type language: expanding to custom core forms in Racket

Hi Alexis, I am very happy to have posts like this announced here. Thanks for writing it! It was useful and interesting. David On Sun, Apr 15, 2018, 06:58 Alexis King wrote: > Hello all, > > I wrote a blog post about my recent experience rewriting the > implementation

[racket-users] Reimplementing Hackett’s type language: expanding to custom core forms in Racket

Hello all, I wrote a blog post about my recent experience rewriting the implementation of Hackett’s internal type representation, and on writing languages that expand to custom core forms in Racket in general. For those interested in Hackett and/or (ab)uses of some of the lesser-known features of