azur1s / holymer

(WIP) A programming language

Holymer

Holymer is a programming language

Status

• Parser
• Typechecker
• IR
• Optimizer
• Complier

The IR output can sometimes be run with scheme interpreter, sometimes.

Contributing

You need to have Rust Toolchain installed on your machine before building it.

$ git clone https://github.com/azur1s/holymer.git
$ cd holymer
# build with `cargo build`

holymer's Issues

Optional Hole (`_`) in piping

current piping syntax

fun main: int = do
    "Hello, World!\n"
    |> @write(_);
    return 69;
end;

The _ (Hole) is required by default, maybe it will be a quality-of-life improvement if we can make it optional, something like on default it will assume _ is on the first one, for example:

(assuming foo() takes 2 argument)

"Hello, World!\n"
|> foo(_, 1);

is the same as

"Hello, World!\n"
|> foo(1);

This should be pretty easy and might improve the quality-of-life by a lot.

Diagnostics only report one error

The diagnostics stuff can only report one error (not because the diagnostics is bad, I built it so that it can handle multiple error already) and isn't really helpful when there is multiple error.

This is due to the early returning error in stuff, when it founds the error (e.x. in lowering) it early returns and never continue. I think the fix is to have an Error type and when found an error, return the Error type and continue doing its stuff.