3 ms·
Yeah, Guile has first-class macros, but I've never been able to come up with a practical use for them, either. I still find them neat. Is your vau work availa
by groovy2shoes 14y ago
Yeah, Guile has first-class macros, but I've never been able to come up with a practical use for them, either. I still find them neat.
Is your vau work available publicly? I find this stuff very interesting.
- gliese1337 14y agoYup. I've got it up on github at https://github.com/gliese1337/schrodinger-lisp https://github.com/gliese1337/schrodinger-lisp, with explanations blogged at http://gliese1337.blogspot.com/2012/04/schrodingers-equation-of-software.html http://gliese1337.blogspot.com/2012/04/schrodingers-equation... (first installment; there are later posts with the same tags describing incrementally added features). The syntactic sugar for macros isn't pushed to the public repository yet; not till I get a good blog post written up about it. But it's basically parallel to the operation of "wrap" in Kernel- where "wrap" creates a lambda by evaluating the arguments to a vau expression, "macro" evaluates the return value of a vau expression. I'm doing most the research stuff on the Schrodinger repository, and things that I like will end up eventually on https://github.com/gliese1337/vernal-lang https://github.com/gliese1337/vernal-lang ; I've stopped actively updating that repository for now because I'm contemplating re-implementing the "real" Vernal interpreter (as opposed to the "research-only" Schrodinger interpreter) in Go, so that there's only 1 level of interpretation going on instead of 2.