The idea is to have a programming language with macros are so powerful, they can even call directly into the code generator.
This version of Dolorem compiles to LLVM and is a bit hard to read; if you are new to Dolorem, see metareflection/dolorem-c for a simplified version that compiles to C.
Simon Henniger and Nada Amin, “The Dolorem Pattern: Growing a Language through Compile-Time Function Execution”, in 37th European Conference on Object-Oriented Programming (ECOOP 2023), LIPIcs, Vol. 263, pp. 41:1–41:27, 2023, DOI: https://doi.org/10.4230/LIPIcs.ECOOP.2023.41.
include "def.dlr";
funproto puts (str a;) i32;
defun main () i32 {
puts "Hello, world!";
};
This is the current implementation of the not operator as a macro:
defun lower-not ((rtv a)) rtv
(make-twin-rtv (LLVMBuildNot bldr (unwrap-llvm-value a) "not") a);
defmacro not
(lower-not (eval (car args)));
This defines not as a macro, a function that is called at compile-time, that
is passed a list of arguments and that can generate code.
not does so by evaluating its first argument (read: generating run-time code
for evaluation of its first argument) and then calling into a regular function
called lower-not which calls LLVMBuildNot and generates type information
for the front-end.
- Mac OS/Linux (BSD might work)
- LLVM 12+
Just type make. You may need to specify the environment variables CC, CXX and LLVMPREFIX.
If you encounter any compiler errors, try running make report or use another version of LLVM.
You can find some examples -- including a pong implementation and a REPL for testing -- in the example folder.