4 ms·
Two remarks: - sadly, nobody mentions BET MetaOCaml http://okmij.org/ftp/ML/MetaOCaml.html http://okmij.org/ftp/ML/MetaOCaml.html which is probably first place
by toolslive 10y ago
Two remarks:
- sadly, nobody mentions BET MetaOCaml http://okmij.org/ftp/ML/MetaOCaml.html http://okmij.org/ftp/ML/MetaOCaml.html which is probably first place you want to look before you try to build this yourself.
- in Lisp, this is trivial (as explained here : http://www.ymeme.com/hackers-introduction-partial-evaluation.html http://www.ymeme.com/hackers-introduction-partial-evaluation...
)
- abecedarius 10y agoAside: as the author of the second link I'd rather you pointed to http://wry.me/~darius/writings/peval/ http://wry.me/~darius/writings/peval/ (though I'm grateful to ymeme for posting it without permission, since the original host fell off the web.) Of course, Lisp isn't really a systems language like Zig -- I think it's great that it's tackling the problem its own way.
- kazinator 10y agoYes; rather, a systems language like Zig is an activity you can do in Lisp.