Also popular implementations do some cool things. The compiler section in the SBCL manual[1] has good details. SBCL's type inference is powerful and you can als

Also popular implementations do some cool things. The compiler section in the SBCL manual[1] has good details. SBCL's type inference is powerful and you can also convince yourself it's actually working by looking at the output of DISASSEMBLE. [1] http://www.sbcl.org/manual/index.html http://www.sbcl.org/manual/index.html