Hacker News new | ask | show | jobs
by User23 1959 days ago
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