alpaca
alpaca copied to clipboard
kernel.apl - alpaca core functions
The thought is the following: let the compiler to the bare minimum work of bootstrapping the alpaca primitives and implement as much of the rest in alpaca itself. So everything that is in the compiler right now that could be a function ends up being a function.
There are a few advantages to that:
- it keeps the compiler minimal
- all optimisations or mutations that can be done on the alpaca ast also a apply to those kernel functions
- it's a nice bit of dogfooding
- more of the code will be typed out of the box
And some disadvantages:
- testing the compiler w/o the kernel gets more complicated.
I've not read every line of the compiler but most notabley are the mathematical operators. Instead of a special compiler case for them they'd turn into something like:
let (+) left right =
match (left, right) with
(l, r), is_integer i, is_integer r -> beam :erlang :+ [left, right]
Oh I forgot the most important part, kernel.alp
would be loaded into the global namespace like the +
function in erlang is.
Would any overhead would be introduced by wrapping functions like that?
I think the only overhead would be the guard functions, not sure what the impact is there though tbh. We could do this all with type specs now although I'm not sure that would set the best example :)