On: LLVM for Grad Students

[kragen]

AOT-compiled Lisp generally retains the type info you need at runtime in one way or another.

A precise garbage collector for a normal-ish implementation of C, assembly, or Forth is potentially very difficult, though.