Monday, November 11, 2013

[ptkgnpyy] Dynamic static analysis

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 :