On: Obviously Correct: implications for language design

[chalst]

What do you mean? You can map each dynamically typed function/procedure onto a statically typed function/procedure that is used in the same way. I do not see how a translation could be cleaner and more structure preserving.