Types

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

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

С Новым Годом!

Поздравляю всех с Новым Годом! Он был непростым и принес нам не только радость, но и много горя. К сожалению, в этом году погибло много ни в чем не повинных людей. Пусть земля им будет пухом. И, тем не менее, несмотря на все печали и невзгоды, я хочу пожелать всем, чтобы следующий Год ...

Двойной блеф Наки

Поначалу, года два назад, смотрел видео с "Майклом Наки" с интересом. Но... Становлюсь свидетелем "профессионально деформации". Из "рассерженного гражданина", в груди которого кипит праведный гнев, Майкл Наки, как-то незаметно превратился в глумливого писаку, довольного занудливого, ...

Украина сама ставит себе шах и мат в игре с Россией

Статья из французского издания Agora Vox Сначала Украина пустила себе пулю в ногу блокадой Донбасса (ДНР и ЛНР обернули ее против Киева), а теперь нажимает на курок пистолета, который сама приставили себе к виску на Майдане в 2014 году. За ...

Французская версия борьбы с коронавирусом

"Они все говорили, что система здравоохранения Франции - она самая лучшая, *более лучшей* не бывает, поскольку это невозможно и невозможно никогда. Значит, что выяснилось. Во-первых, либо нет, либо в жесточайшем дефиците защитные маски и защитная одежда для медиков. Во-вторых, ...

Отмазка для лохов

На украинском телевидении стали убеждать в том, что воевавшие в составе гитлеровской дивизии СС «Галичина» были всего-навсего обманутыми «патриотами», которые верили в то, что аббревиатура «СС» означала «Сечевые Стрельцы». Милые, наивные, загубленные пропагандой украинцы шли в ...

Types

Types

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

Популярные посты: