Types
sdfgh153 — 24.05.2010
Интересно было бы поставить эксперимент, взять любую крупную
достаточно стабильную систему реализованную на языке с динамической
типизацией и, помолясь, проверить типы каким-нибудь мифическим
тайп-чекером.
Мифическим потому что он должен без никаких начальных сигнатур
(откуда они возьмутся в динамическом языке) нормально проверить
правильность типов.
У меня ощущение, что ошибок типизации он не найдет.
Опасно ли носить контактные линзы: вся правда от эксперта
Родственные души. Игра.
Замедление WhatsApp
Как проворонить пласт экономики? История коллективной собственности в Китае
Стихи перед сном. Борис Пастернак. Из суеверья
Предновогоднее
31 декабря ● Новый год к нам мчится... скоро все случится...
Габсбурги отдыхают...
Воспоминания о былых цветиках

