memo

  • LLVM は制限があるものの Tail call optimization をサポートしている。http://www.llvm.org/docs/CodeGenerator.html#tailcallopt
  • したがって、 scheme レベルで tail position にあるかどうかチェックして、適切な LLVM を出力してやればいい?
  • 最適化のオプションで tailcallelim というのがあるがこれは多分別の概念。