This transform to dynamic typing is not local and thus is more akin to embedding... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

shasta on Nov 7, 2011 | parent | context | favorite | on: Obviously Correct: implications for language desig...

This transform to dynamic typing is not local and thus is more akin to embedding another language.

chalst on Nov 7, 2011 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact