I am not sure that an unknown message could be caught at compile time, because we don't know everything in advance. I also don't think that static type checking

I am not sure that an unknown message could be caught at compile time, because we don't know everything in advance. I also don't think that static type checking is the only way to program. In that toy example I should return an error, because '() is a legit value.