Curl has "evaluate" and is statically typed. "evaluate" is currently a normal procedure whose static return type is "any". "any" is the union of all types. The code (taken as a string) is evaluated in a top-level environment. (Are we now about to have a discussion of what it means to be "statically typed"? ...)