https://github.com/shenniger/dolorem

Experimental toy programming language framework
https://github.com/shenniger/dolorem

compiler language lisp llvm programming-language

Last synced: 1 day ago
JSON representation

Experimental toy programming language framework

• Host: GitHub
• URL: https://github.com/shenniger/dolorem
• Owner: shenniger
• Created: 2020-01-15T14:43:36.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2024-10-08T08:12:21.000Z (30 days ago)
• Last Synced: 2024-10-11T21:45:58.943Z (26 days ago)
• Topics: compiler, language, lisp, llvm, programming-language
• Language: C
• Homepage:
• Size: 152 KB
• Stars: 4
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
## Overview

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](https://github.com/metareflection/dolorem-c) for

a simplified version that compiles to C.

## Publication

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: .

## Example

```

include "def.dlr";

funproto puts (str a;) i32;

defun main () i32 {

  puts "Hello, world!";

};

```

## Macro Example

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.

## Dependencies

* Mac OS/Linux (BSD might work)

* LLVM 12+

## Compiling it

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.

## Examples

You can find some examples -- including a pong implementation and a REPL for testing --

in the example folder.