Types

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

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

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

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

Архив записей в блогах:
Изначально я хотел просто написать отчет об этом автоспортивном мероприятии, но позже решил поумничать. Поумничаю. Toyota Altezza TS Power Team Moscow Прошу под кат. И да, я люблю дрифт. Дрифт (транслитерация англ. Drift = «дрифт») — техника прохождения ...
Успех деятельности любого предприятия, будь то складское помещение или обычный супермаркет, зависит от скорости пересчета товара, который еще остался и ждет своего потенциального покупателя. Чтобы процесс инвентаризации протекал качественно и быстро, были разработаны специальные пере ...
кто нить знает свежайший рейтинг гаранта? ...
Мне пришла в голову тревожная мысль: нет ли в Российской Федерации какого-нибудь закона, позволяющего еврею требовать права иммигрировать в Россию, дабы поселиться в Еврейской автономной области, на правах представителя коренного ...
...