This is one of the main ways I use Racket -- but as a front-end for JavaScript, not C#.
On Sunday, June 6, 2021 at 9:47:38 PM UTC-7 Philip McGrath wrote: > I haven't done much with this personally, but a few pointers in Racket: > > - Urlang uses Racket's macro system as a front-end for JavaScript (in > the way you discuss with C#, not compiling Racket to JavaScript): > https://github.com/soegaard/urlang > - Alexis King's Hackett is an experimental Haskell-like `#lang`: > https://lexi-lambda.github.io/hackett/ While it currently only runs on > the Racket runtime system, Alexis' blog post, "Reimplementing Hackett’s > type language: expanding to custom core forms in Racket", discusses the > possibility of an alternate backend targeting GHC and goes into extremely > useful detail about implementation techniques that can help: > > https://lexi-lambda.github.io/blog/2018/04/15/reimplementing-hackett-s-type-language-expanding-to-custom-core-forms-in-racket/ > - The recent paper "Macros for Domain-Specific Languages" ( > https://dl.acm.org/doi/pdf/10.1145/3428297) presents a high-level API > for doing many of the things the aforementioned blog post implements by > hand. (Alexis is a co-author on the paper.) The `ee-lib` library provides > the API discussed in the paper: > https://docs.racket-lang.org/ee-lib/index.html (I have done the > by-hand approach to custom core forms, and I'm excited to try the new > library.) > > -Philip > > > On Sun, Jun 6, 2021 at 11:35 PM Robert Calco <bobc...@gmail.com> wrote: > >> Check out IronScheme <https://github.com/IronScheme/IronScheme>... it >> may be just what you're looking for. >> >> - Bob >> >> On Sun, Jun 6, 2021 at 10:02 PM Ryan Kramer <default...@gmail.com> wrote: >> >>> I have no plans to work on this, but I am curious if this has been >>> discussed or attempted... >>> >>> Motivation: My job has been C# for many years and while C# is very >>> appropriate for most of the problems I encounter at work, sometimes a >>> problem comes along that makes me want more power. In those situations, I >>> think the language I want is "C# except now it's S-expressions and it has >>> Racket's macro system." >>> >>> And then I wonder if an alternate version of C# could be implemented >>> this way: >>> 1) Create a new grammar for what a fully-expanded C# AST is. This will >>> be in terms of Racket syntax objects, just like Racket's definition of a >>> Fully Expanded Program. >>> 2) Write a compiler that generates CIL (the bytecode) given a >>> fully-expanded C# AST. >>> 3) Use Racket's #lang mechanism and macro system to implement the >>> surface language. >>> >>> Now this new C# could borrow a lot of power from Racket, right? For >>> example, I could make all of Racket available during expansion! Even if I >>> don't want C#-the-surface-language to have macros at all, why shouldn't I >>> keep the Racket-powered backdoor open? As long as you generate a valid C# >>> AST, I should be able to compile it for you. >>> >>> The #lang mechanism and Scribble are two other nice things that could >>> probably be adapted into the new C# if desired. >>> >>> I can understand why Microsoft wouldn't do this. But I've seen enough >>> hobby languages, and I'm surprised that none of them do this. Reusing a >>> backend (like dotnet or the JVM) is common, reusing a "frontend" is >>> something I've never seen. Is Racket's macro system too specific to >>> Racket's definition of a fully-expanded program? (The little bit I've done >>> with local-expand and stop-ids makes me think it would work fine.) Is there >>> something else that would make this approach more trouble than it's worth? >>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Racket Users" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to racket-users...@googlegroups.com. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/racket-users/cc7c1792-ba59-400f-856a-3bb02a6096fbn%40googlegroups.com >>> >>> <https://groups.google.com/d/msgid/racket-users/cc7c1792-ba59-400f-856a-3bb02a6096fbn%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> >> >> >> -- >> *Bob Calco* >> >> bobc...@gmail.com >> 813-997-3583 <(813)%20997-3583> (work mobile) >> 813-523-3751 <(813)%20523-3751> (personal mobile) >> >> *"But you can catch yourself entertaining habitually certain ideas and >> setting others aside; and this, I think, is where our personal destinies >> are largely decided." *-- *Alfred North Whitehead* >> >> *"And now I see with eye serene the very pulse of the machine." *--* William >> Wordsworth* >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to racket-users...@googlegroups.com. >> > To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-users/CAATHPo3MJDtgxrt3FKPTRvt-avaniq4LTwF6VH_SSe%3DvAV3V4A%40mail.gmail.com >> >> <https://groups.google.com/d/msgid/racket-users/CAATHPo3MJDtgxrt3FKPTRvt-avaniq4LTwF6VH_SSe%3DvAV3V4A%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/87e7b582-695b-4d9a-9f23-72d5cb7616e5n%40googlegroups.com.
