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