[racket-users] Lifting module top-level declarations from expression contexts

2018-04-14 Thread Yucheng Zhang
ly, I can use syntax-local-lift-module or wrap #%module-begin, but both are unsatisfactory for my use case. Thanks. Yucheng Zhang -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiv

Re: [racket-users] Question about Racket design philosophy: returning (void)

2018-04-10 Thread Yucheng Zhang
On 11 April 2018 at 06:48:49, Matthias Felleisen (matth...@felleisen.org) wrote: > Perhaps the real problem is one of the contract/type system. We have seen > effect systems > over and over again, though usually they try to express complicated > invariants and have > them checked at compile

Re: [racket-users] syntax/parse is not hygienic

2018-03-05 Thread Yucheng Zhang
On Monday, March 5, 2018 at 6:36:09 PM UTC, Alexis King wrote: > I will say this, however: while I have developed over the years a reasonably > strong intuition for how Racket macros operate, when I was learning the macro > system for the first time, I did not find some parts of the hygiene