https://courses.digitable.life/tags/%D0%B4%D0%B8%D0%B7%D0%B0%D0%B9%D0%BD-%D1%8F%D0%B7%D1%8B%D0%BA%D0%BE%D0%B2/ Recent content in дизайн языков on Digitable courses Hugo -- gohugo.io ru-RU Mon, 03 Aug 2026 20:30:00 +0300 https://courses.digitable.life/post/flang/05-types/ Mon, 03 Aug 2026 20:30:00 +0300 https://courses.digitable.life/post/flang/05-types/ Двунаправленная проверка вместо Хиндли — Милнера, исчерпывающность разбора, и главное решение: функции не являются значениями первого класса — с объяснением, что за это куплено и чем заплачено. https://courses.digitable.life/post/flang/02-two-classes/ Mon, 03 Aug 2026 19:00:00 +0300 https://courses.digitable.life/post/flang/02-two-classes/ Главное архитектурное решение flang: вместо выбора между полнотой по Тьюрингу и гарантией завершения язык делит программы на два класса, и класс проверяет компилятор, а не документация.