v
v copied to clipboard
vegard
toy language/compiler
I haven't quite decided which (if not both) is better: caching the result of compiling expressions in a big program so that we only have to recompile dependent expressions or...
There are good reasons for having immutable strings, but there are also good reasons for having mutable strings. We should probably provide standard implementations for both, possibly also along with...
I imagine an `asm` macro that defines symbols for registers and instruction mnemonics and takes arguments for inputs/outputs/constraints as well as the actual instructions. (Constraints will necessarily be limited for...
The difference between `fun` and `lambda` would be that `lambda` always creates a new function type and that the return type is always assumed to be the type of the...
It's worth considering how to share code with `while` (already implemented), i.e. whether to base one off the other, or base both off a more general loop construct.
It should not be possible to reference variables defined in a different function, even if they are lexically in scope.