https://courses.digitable.life/tags/%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F-%D1%82%D0%B8%D0%BF%D0%BE%D0%B2/ Recent content in Теория Типов on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:12:59 +0300 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/ Что происходит, когда к лямбда-исчислению приделывают типы: часть программ перестаёт компилироваться, зато оставшиеся гарантированно завершаются — и внезапно оказывается, что система типов и математическая логика это буквально одно и то же.