Meek
Meek is a statically typed, imperative, procedural programming language.
Meek is currently under development.
It looks a lot like C right now, but I have plenty of ideas to try out once development is further along.
The initial implementation compiles to bytecode which gets interpreted by a stack-based VM. This lets me rapidly prototype with a single back-end. Ultimately, I would like to integrate LLVM and output a compiled executable. The VM target will still be used to support compile-time code execution.
Currently working on...
Scanner- 100% complete
Parser- 100% complete
- Analysis (type checking, name resolution, etc.)
- 80% complete
- Bytecode emitter + interpreter
- 30% complete
- LLVM output + integration
- 0% complete
Latest test program:
fn main()
{
bool t = true;
bool f = false;
if t || t do print(1);
else do print(100);
if t || f do print(2);
else do print(200);
if f || t do print(3);
else do print(300);
if f || f do print(400);
else do print(4);
if t && t do print(5);
else do print(500);
if t && f do print(600);
else do print(6);
if f && t do print(700);
else do print(7);
if f && f do print(800);
else do print(8);
int a = 7;
int b = 6;
b *= a;
print(b);
}
/*
Output:
1
2
3
4
5
6
7
8
42
*/