Тема: синтаксис

Статья

Синтаксис по факту: модули, функции, выражения, образцы

Разбор конструкций flang 0.7.29 по файлам репозитория и по программам, прогнанным через check и test: импорт по имени модуля; теоркат — функтор, моноид, изоморфизм, …

#flang#синтаксис#сопоставление с образцом

Статья

Две поверхности: русская и английская запись одного правила

У каждого ключевого слова flang есть русское и английское написание: один компилятор, одни проверки, разные имена предметной области.

#flang#русский язык#english

Статья

Нотация: переменная, абстракция, аппликация и как читать выражения

Весь синтаксис лямбда-исчисления — три конструкции и два соглашения о скобках; учимся читать выражения вслух и переводить их в стрелочные функции JavaScript и Python.

#лямбда-исчисление#синтаксис#функциональное программирование