shika-blyat/kamai

A schwifty programming language made by a former out of school space cucumber

kamai's Issues

Add conditions (if else) and unit type lexing + parsing

Make call of function taking 0 argument real call in the parser

Currently in this code:

x = 5
x

x isn't a call, it'll be parsed as an identifier, because i'm unable to represent it as a call with the current AST. A call currently looks like this:

Call {
        fun: Box<Expr>,
        arg: Box<Expr>,
    },

I could add an Option to wrap the Box<Expr> of the arg field, but there may be better solutions.
The same issue happens with x = 5 which won't be parser as a Function but as an Identifier, because a function is parsed as a (String, Expr) (where Expr is always an Expr::Lambda). Expr::Lambda looks like this:

Lambda {
        param: String,
        body: Box<Expr>,
    },

here the issue is with the parameter. The best solution i can come with for the moment is to make x = 5 a function with one unused parameter, but then the problem would be to replace all calls of x with x () instead of x, without affecting potential partially applied function, like in this example:

f  = (+) 2
f -- if i replace f with f (), there's a type error

It could be done during a desugaring phase.

Add tests and CI