[itsuart]

First of all, I didn't read linked article. Which is wrong of course. As usual, I'm basing on comments in this thread. So you want to do type system without PL theory of modern age. Awesome! Seriously, interesting experiment. Unless you already have read TaPL in which case I fear you would antagonise ideas described there. However, there is a non-merit, non-technical problem: dismissing PL theorists is sounds like dismissing PL theory (wrong implication, but that is how humans are I believe). And this will put you into JS/PHP/whatever-back-to-the-trees basket and your ideas will be dismissed just because of this wrong association. Which means, that you will distorted results of your experiment. How do you plan to alleviate that? Or I'm wrong somewhere and it is non issue?