It would be nice if there were a framework for abstract value simulation at compile time (static). Things a complete programming language ought to have as libraries: parser, syntax table (what identifiers are in scope and where are they defined), type inferer, pretty printer, interpreter, abstract value analyzer,...
No comments :
Post a Comment