Как только появляется нечто, развивающееся быстрее чем растёт подготовка людей, вы тут же сталкиваетесь с поп-культурой. Хорошо известно, что я пытался подавить Smalltalk в конце 70-х гг. Это были годы, когда Smalltalk был наиболее прекрасной системой в мире. Он позволял сделать что угодно более компактным и удобным способом, чем всё, что существовало до того. Но время шло. Как только мы узнавли больше и стали более претенциозными в отношении того, что мы хотели получить, оказалось что в Smalltalk есть возможности, которые не масштабируются в нужной степени. Например, возможности рефлексии. Smalltalk был одним из первых языков способных "увидеть" самого себя, однако сейчас известно, как реализовать рефлексию на всех уровнях намного лучше - значит мы должны реализовать так.
Через несколько лет мы узнали, что всё можно реализовать намного лучше. Объектная модель могла быть лучше, и т.д. И так, проблема в том - я считаю это относится и к Lisp и к Smalltalk, - что они стремятся пожирать своих детей. Я имею ввиду то, что Lisp и Smalltalk являются такими ошеломляющими средствами благодаря наличию у них мета-систем. Они способны решать задачи огромным количеством способов, чего не предоставляют языки с ранним связыванием. В результате, людям, которые любят Lisp или Smalltalk, трудно вообразить как может быть иначе.
Теперь вспомните пару фактов о Jave: в ней нет полноценной мета-системы. В Java есть проблема работы в двух, а не в одном режиме. Так, у неё есть не объекты, и объекты. В Java проблемы с динамикой. Зато у неё есть сборщик мусора. А что с того? Сборка мусора существовала задолго до того. Но это не слишком важное добавление само по себе.
В течениеи многих лет, SDK для Java реализуются на C++. Этим всё сказано.
Мы изучали Java очень детально в 1995 г., когда мы приступили к работе над реализацией, потому, что жизнено важно реализовать ядро языка. Менее всего в Java нам понравился реализации. Основано всё на старой идее, которая никогда не работала, что нужно иметь набор бумажных спецификаций, реализацию ВМ (виртуальной машины) по тем спецификациям, и, наконец, имть набор тестов, которые могут подтвердить соответсвие того, что мы только что реализовали. Так вот, такая схема никогда не приводила к полностью совместимым системам.
Технология, которую мы использовали для Smalltalk, заключалась в написании ВМ на самом Smalltalk. Таким образом, у нас всегда был симулятор ВМ на Smalltalk, который и являлся спецификацией ВМ. Вы можете отлаживать ВМ, и вы можете узнать, что будет делать ВМ в том или ином случае, просто "скормив" ей код, и все изменения в ВМ вы вносите изменяя симулятор. После того, как всё отлажено, вы нажимаете кнопку, и, без всякого вмешательства человека, будет сгенерирована математически корректая С-версия, которая будет работать на любой платформе, на которой вы её проверяли.
В результате, сегодня эта система, называемая Squeak, идеинтично работает на более чем двух десятках платформ. Java этого не умеет. А ведь что такое Интернет? Это необходимость идеинтичного выполнения на всём, что подключено к Интернету. Итак, Java, для меня, всегда нарушала одно из основных требований к разработке ПО в мире Интернета.
Как только мы поняли, что Java, скорее всего, не будет совместима между платформами, мы сказали, что мы создадим свою систему, которая будет абсолютно совместима между платформами, и мы сделали это.
Кто угодно может так сделать. Если бы профессионалы в Sun имели возможность исправить Java, то мир стал бы более приятным местом. Это не секретное знание. Это секретное знание для поп-культуры.
Одна из мыслей, к которой приходят люди изучая расширяемые языки, это то, что невероятно тяжело сделать мета-систему лёгкой в использовании. Smalltalk-72 использовали дети. Вы всегда расширяете язык, даже не осознавая этого, просто создавая классы. В результате, вам не нужно пользоваться такими эзотерическими инструментами как компилятор компиляторов - Yacc или нечто похожее - только для того, что-бы что-то добавить в язык.
Но, на обратной стороне монеты тот факт, что даже очень хорошие программисты и дизайнеры языков склонны делать ужасные расширения в пылу программирования, потому что дизайн это то, что требует спокойствия и осторожности.
