Static contract checks - Githubissues

Idorobots / spartan

A small Lisp dialect that serves me as a test bed for programming language features.

MIT License

13 stars 3 forks source link

Static contract checks #195

Open Idorobots opened 2 months ago

Idorobots commented 2 months ago

It's getting pretty hard to debug the runtime errors that happen in the scheduler, so it would be nice to generate some checks to fail early with a readable message.

Some checks to automatically generate:

Function call arity checks.
Primop argument type checks.