blob: cc596476f534755643f3ee016ac62026576b927c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
# Micro2
This is not necessarily related to [Micro](https://git.usebox.net/micro-lang/about/), but I couldn't find a better name.
Micro2 is a small statically typed toy programming language.
Objectives:
- Learn Haskell and have fun
- Build a compiler
- (may be) Targeting 8-bit microcomputers (Z80 CPU)
- Easy to interact with existing code written in C/ASM
- (may be) Targeting WASM
- Fast compilation
- Statically typed, small but useful, and reasonably performant (including on the target)
## Current status
This is a **work in progress**.
Currently the compiler uses parsec (Monadic parser combinators) following this planned pipeline:
* Lexer
* Parser
* Analyzer
* semantic analysis, type-check, fold constant, etc
* Generator: emit intermediate code for the target (e.g. ASM files)
* (maybe) Intermediate representation
## How to build it
Requires Haskel and Cabal:
```
cabal run micro2
```
## Running the compiler
TODO
### How does it look like?
This is an example of a micro2 program:
```
def fib(n: u16): u16 {
if n < 2 {
return n;
} else {
return fib(n - 1) + fib(n - 2);
}
}
fib(20); // 6765
```
### COPYING
This software is distributed under license GPL, unless stated otherwise. See [COPYING](COPYING) file for further details.
|
