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 <[email protected]> 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 <[email protected]> > 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 [email protected]. >> 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* > > [email protected] > 813-997-3583 (work mobile) > 813-523-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 [email protected]. > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/01000179e4cc273f-e2ec4107-bb3f-4149-a768-33c577ba37b5-000000%40email.amazonses.com.
