[heretoo]

Then, the conclusion can be that dynamic languages don't suffer from the expression problem.

[mumblemumble]

Pretty much. Not entirely unlike how one can't implement the Y combinator in a statically typed language, but it's trivial to do so in a dynamic language.