Thanks for the lengthy reply ;) I'm aware of the fact that every type system will reject some valid programs. C evades this problem by letting you "escape" the

Thanks for the lengthy reply ;) I'm aware of the fact that every type system will reject some valid programs. C evades this problem by letting you "escape" the type system. Many people criticize this without being aware that the language would be useless without this feature. I don't think that an expressive type system rejects more programs though. You don't have to escape the type system that often in C++ (compared to C). Nonetheless I probably should look up some design patterns you can do in lisp, to get a feel for what I'm missing