# Micro

This is not necessarily related to [Micro](https://git.usebox.net/micro-lang/about/), but I couldn't find a better name.

Micro 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**.

Check the [language spec](language.md) for a taste of what is planned.

Currently the compiler uses parsec (Monadic parser combinators) following this planned pipeline:

* Frontend
    - Lexer; lexical analysis
    - Parser; syntax analysis
    - Analyzer; semantic analysis, type-check, fold constant, etc
* Backend
    - Generator: emit intermediate code for the target (e.g. ASM files); (maybe) Intermediate representation

For updates, please check [Micro website](https://git.usebox.net/micro-lang-hs/about/).

## How to build it

Requires Haskel and Cabal:

```
cabal run micro
```

To run the tests use:

```
cabal test
```

## Running the compiler

TODO

### How does it look like?

This is an example of a Micro 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 licence GPL, unless stated otherwise. It covers only *this* software, your programs are yours to license in any way you want.

See [COPYING](COPYING) file for further details.