ага, спасибо. Я в те времена довольно плотно следил за меил-рассылкой и гитхабом, нравились идеи Грейдона, потом Нико стал проталкивать свое видение, я забил потихоньку. Очень может быть, если бы не Нико, не было бы ничего рабочего, но знать мы не можем.
На мой взгляд, хакерский подход плохо работает (или лучше сказать, не работает), когда нужно реализовать систему типов. Я согласен с тобой, уже не узнать, стоящие идеи были у Грейдона или нет.