Over about an hour I'm going to try to:



1) Talk a little about compilers and program translation.



2) Explain the basic structure of LLVM and its OCaml bindings.



3) Introduce a little embedded language ("aww ain't it cute?")



4) Compile above language to native code using LLVM



5) Hopefully beat the pants off OCaml's native compiler



I haven't written anything yet, so wish me luck.