Мови програмування, частина Б

Аналітичний огляд курсу

Опис згенерований на основі програми курсу та відкритих даних.

Огляд: мови програмування, частина Б

Матеріал зосереджений на базових концепціях програмних мов і функціональному стилі. Приклади з ML, Racket та Ruby використовуються для порівняння семантики, абстракцій і композиції, щоб продемонструвати, як конструкції мови впливають на дизайн коректних і лаконічних програм. Бажано попередньо опрацювати «частину А».

Кому підійде / кому не підійде — мови програмування, частина Б

Підійде слухачам

• із базовим досвідом кодування, хто хоче систематизувати знання про програмні мови;
• хто прагне глибше розуміти функціональні парадигми (чисті функції, рекурсія, незмінність даних);
• кому важлива коректність, композиційність і стилістична узгодженість коду;
• хто вивчає ML, Racket, Ruby або порівнює мови кодування.

Не підійде, якщо

• потрібен курс для повних початківців без попереднього досвіду;
• очікується вузько практичний фреймворк-орієнтований фокус замість концепцій мов;
• потрібні лише інструкції по конкретній мові без міжмовних порівнянь.

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

Проблема

• Фрагментарне розуміння синтаксису без усвідомлення семантики та абстракцій;
• Складність у проєктуванні коректних та підтримуваних програм;
• Перенесення звичок однієї мови без адаптації до інших.

Результат

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

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

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

Результати навчання після опрацювання матеріалу — мови програмування, частина Б

• Розуміння функціонального стилю: незмінність, рекурсія, композиція;
• Практика з абстракціями: замикання, вищі порядки, модулі та інтерфейси;
• Порівняння семантики та ідіом ML, Racket, Ruby;
• Аналіз коректності, інваріантів і контрактів у коді;
• Узагальнення підходів для швидшого опанування нових мов програмування.