https://courses.digitable.life/tags/%D1%82%D0%B8%D0%BF%D1%8B/ Recent content in Типы on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:12:59 +0300 https://courses.digitable.life/post/functional-programming/06-adt-and-pattern-matching/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/06-adt-and-pattern-matching/ Как суммы и произведения типов убирают невозможные состояния из программы, зачем нужна проверка исчерпывающности и во что обходится моделирование данных через ADT. https://courses.digitable.life/post/paradigms/07-generic-and-metaprogramming/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/paradigms/07-generic-and-metaprogramming/ Как писать один алгоритм для многих типов и как заставить программу писать программу: параметрический полиморфизм, ограничения, мономорфизация против стирания типов, макросы и гигиена, рефлексия, кодогенерация — с моделью стоимости каждой техники. https://courses.digitable.life/post/compilers/05-type-checking/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/05-type-checking/ Как компилятор доказывает, что программа не сложит число со строкой: суждения типизации, бидирекциональная проверка, унификация с occurs check и полный алгоритм Хиндли — Милнера с let-полиморфизмом — с работающей реализацией на Python. https://courses.digitable.life/post/mathematics/09-category-theory-basics/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/mathematics/09-category-theory-basics/ Строгое введение в теорию категорий для инженера: определение категории и законы композиции, изоморфизмы и двойственность, универсальные свойства произведения и копроизведения, функторы, естественные преобразования и лемма Йонеды — с ручными разборами и проверяемым кодом на Python. https://courses.digitable.life/post/lambda-calculus/09-typed-lambda/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/09-typed-lambda/ Что происходит, когда к лямбда-исчислению приделывают типы: часть программ перестаёт компилироваться, зато оставшиеся гарантированно завершаются — и внезапно оказывается, что система типов и математическая логика это буквально одно и то же. https://courses.digitable.life/post/functional-programming/07-functors-and-applicatives/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/07-functors-and-applicatives/ Как из повторяющегося кода «распаковать — применить — запаковать» рождаются функтор и аппликатив, зачем нужны их законы и почему валидация формы с накоплением всех ошибок сразу — это аппликатив, а не монада.