Some wanted commands for adding type checking to a Lisp interpreter:
Evaluate this expression without statically analyzing it. (Status quo: eval)
Statically analyze this expression without evaluating it.
Statically analyze all loaded defuns.
Statically analyze a subset of all loaded defuns, for example, the children of a given expression.
No comments :
Post a Comment