вот только вызвать метод select я могу не у чего угодно. so_dom::ensure собственно и гарантирует, что $dom будет поддерживать интерфейс so_dom со всеми его соглашениями.

понял, забавно.

как насчёт

interface idom {
    function select(string $bla);
}

function a(idom $dom) {
    
}

неа ?

строку или массив так не передашь..

конечно нет :)

В обсуждаемой теме имеются в виду типизированные переменные (то бишь единичные, атомарные данные), а для канвасов и пр. можешь использовать типизированные массивы и воркеры. В чем проблема-то? Или ты думаешь, что заменив
for( var i = 0; ... )
на
for( int i = 0; ... )
производительность сильно улучшится?

это какая-то статическая типизация времени выполнения

Если будешь везде указывать типы, я думаю улучшится. В видео должно было упоминаться, не помню точно. Зачем по-твоему Google решили пересоздать javascript?

За что же тогда респект? Их основная цель - добавить статическую типизацию, чтобы упростить создание больших приложений.

Итого, статическая типизация вам нужна, чтобы: 1) быстро обнаруживать часть ошибок за счет проверки типов во время компиляции или выполнения (tenshi, DjDiablo), 2) повысить производительность (DjDiablo). И то, складывается впечатление, что как-то слабо нужна.

Попробую своими словами объяснить, зачем нужна статическая типизация. Вы предоставляете больше информации компилятору (и всяким инструментам) и в результате получаем: 1) удобство разработки (удобная навигация по коду, поиск, место объявления, использования, подсказки, автодополнение, рефакторинг), 2) производительность. Для несложных проектов (нечеткая граница) это конечно же не важно. Лично меня в первую очередь интересует поиск по коду с учетом синтаксиса ЯП.

... или давайте переформулирую вопрос так: зачем вам нужна статическая типизация, м? :)

Мне проще производить отладку. Да и количество ошибок должно быть меньше. Остальное мне до лампочки.

Я смотрю видео, у меня нет плагина silverlight.

Ну вот и я о том же. Типизация нужна, как правило, на большиз объемах данных, а для этого есть специальны массивы.Захотелось, не? Каждый язык имеет свои недостатки, яваскрипт в том числе. Но полностью переделывать язык (отсутствие поддержки литералов объектов без кавычек, совершенно другие имена методов...) — глупо. Взяли бы, да новые версии ES реализовали (если я не ошибаюсь, там где-то были статические типы).

Не знаю почем они выбрали слово Guard для Contacts, но идея не плохая.

Кстати контракты уже реализованы в одном из диалектов CoffeeScipt - contracts.coffee

А гварды, для меня это, вот (пример из LiveScript):

state = | 1 => 'true'
        | _ => 'false'