Мови програмування, частина А — функціональні основи

Курс системно знайомить з базовими концепціями мов програмування з акцентом на функціональний підхід. ML, Racket і Ruby використовуються як приклади, щоб показати, як конструкції, семантика та стиль впливають на коректність і виразність коду.

Кому підходить і кому ні: мови програмування, частина А

Кому підійде

• Розробникам із базовим досвідом, які хочуть глибше розуміти конструкції мов програмування і їхню семантику.
• Тим, хто переходить до функціонального програмування і прагне практики на ML, Racket, Ruby.
• Студентам, що шукають систематизацію понять: лексична область видимості, замикання, рекурсія, типи.
• Інженерам, яким важливо писати композиційний, передбачуваний код.

Кому не підійде

• Абсолютним новачкам без мінімальної практики кодування.
• Тим, хто очікує фреймворк-орієнтований або інструментальний туторіал.
• Коли потрібні лише швидкі рецепти без занурення в концепції.

Проблема → результат у вивченні мов програмування (частина А)

• Проблема: Плутанина між синтаксисом різних мов. Результат: Розуміння спільних ідей і перенесення знань між мовами.
• Проблема: Непередбачувані побічні ефекти. Результат: Функціональні техніки (іммутабельність, чисті функції) для стабільнішої логіки.
• Проблема: Складність у роботі з абстракціями. Результат: Практика з вищими порядками функцій, модулями та композицією.
• Проблема: Важко оцінити коректність рішень. Результат: Семантичне мислення: як конструкції мови впливають на специфікацію і тести.

Порівняння з альтернативами: програмні мови та підходи

• Одна мова / один фреймворк: швидкий старт, але вузький погляд; тут фокус на переносимих концепціях через ML, Racket, Ruby.
• Лише теорія: дає формалізм без практики; тут теорія одразу підкріплюється реалізаціями.
• Лише рецепти без концепцій: швидко, але крихко; тут наголос на принципах, що масштабуються.
• Документація інструментів: опис API без картини цілого; тут — семантика та дизайн конструкцій.

Очікувані результати після опанування тем — мови програмування, частина А

• Розуміння лексичної області видимості, замикань, оцінювання виразів і контролю побічних ефектів.
• Застосування рекурсії, патерн-матчингу (зіставлення з шаблоном) та модульності.
• Практика в ML, Racket, Ruby як носіях ідей: вищі порядки, типи, іммутабельність.
• Формування звички обирати конструкції мови відповідно до семантики задачі.