いや、元Lisperなんでスレ違いだがおもわず。
それSchemeじゃない？Lispだと大抵コンパイラ込みで、宣言型型付けだろ。