I see your point, but that's like arguing compiled Haskell code is unsafe, since Haskell has type erasure. Any code generation machinery is subject to subtle b

I see your point, but that's like arguing compiled Haskell code is unsafe, since Haskell has type erasure. Any code generation machinery is subject to subtle bugs and especially so the flesh and bones kind ;)