Продолжаем перевод цикла статей Скотта Влащина, посвящённого проектированию программ в языках с развитой системой типов. В этой главе поговорим о том, как размеченные объединения помогают писать безопасный код. Читать далее
1. VICHY MINERAL 89 Крем увлажняющий для всех типов кожи 72 ч: Интенсивно увлажняет кожу, восстанавливает и укрепляет её защитный барьер.2. VICHY MINERAL 89 Гель-сыворотка для всех типов кожи: Усиливает естественные защитно-барьерные функции кожи. УкрепляетContinue readingVichy Mineral 89 Набор крем увлажняющий для всех типов кожи 72ч 50мл + Mineral 89 гель-сыворотка для всех типов кожи 30мл (-20%)
Можно ли использовать размеченные объединения с одним вариантом (SCDU, Single Case Descriminated Unions) не только со строками, но и с другими типами? Можно ли накладывать бизнес-ограничения на такие штука, как количество позиций в заказе или дата рождения?Скотт Влащин делится секретами разработки бизнес-логики на языке с алгебраическими типами. Подробности внутри. Читать далее
Не каждый язык со статической системой типов обладает такой строгой типобезопасностью, как Swift. Это стало возможным благодаря таким особенностям Swift, как фантомные типы (phantom types), расширения универсальных типов и перечисления со связанными типами. На этой неделе мы узнаем, как использовать фантомные типы для создания типобезопасных API. Читать далее