The way I see it is that the "killer feature" of Lisps is the macro system and macros fit more naturally in an untyped setting. In a way, macros are kind of a "

The way I see it is that the "killer feature" of Lisps is the macro system and macros fit more naturally in an untyped setting. In a way, macros are kind of a "compile-time eval" and eval is one of those functions that is very hard to statically type.