Types

топ 100 блогов sdfgh15324.05.2010

Интересно было бы поставить эксперимент, взять любую крупную достаточно стабильную систему реализованную на языке с динамической типизацией и, помолясь, проверить типы каким-нибудь мифическим тайп-чекером.
Мифическим потому что он должен без никаких начальных сигнатур (откуда они возьмутся в динамическом языке) нормально проверить правильность типов.

У меня ощущение, что ошибок типизации он не найдет.

Оставить комментарий

Архив записей в блогах:
На днях ночевала у меня родственница. Такая вся из себя учительница-учительница. Строгая, застегнутая на все пуговицы. Вечером долго засиделись, потом я отправила ее спать на второй этаж, а сама решила еще поработать. Татуся же, выспавшись, захотела погулять в ночи. Пришлось открывать ей ...
У ручного пулемета Льюиса при стрельбе вращается магазин (диск если угодно) потому, что подающей пружины в магазине нет, а привод идет от газоотводного двигателя. Поэтому в фильмах про гражданскую войну Льюис чаще всего не настоящий, а загримированный ДП. Магазин при стрельбе не ...
Кирилл Еськов однажды прочитал публичную лекцию о кризисе мелового периода и о кризисах вообще, поскольку кризисы исчерпания среды гомологичны. Вот из нее отрывочки... "...этот процесс [системного обрушения] изучен достаточно хорошо и подробно. Как раз нашими палеоэнтомологами вполне ...
Именно про ласточку этой весной я себе напеваю под нос в усы. Ушли мысли, что можно поскользнуться и замерзнуть, а мозг, освобожденный от этих мыслей, выдергивает на освободившееся место какие-то бодренькие и жизнерадостные, лирические и мечтательные песенки и мелодии... ...
Водный парк "Сапокка" расположен в самом центре города Котка. Даже если вы не любите цветочки и вот это вот всё, в него стоит заглянуть - чтобы увидеть забавные скульптуры, водопад, причудливые тени. 2.Котка вообще богата на парки - водный парк, парк Азалий, речной 3.и морской ...