[nickik]

unchanged? Are they doing massiv typeanalisis? What are the tradeoffs? This seams to "to good to be true". Everybody else that tries to staticlly compling dynamic languages has more or less failed.