Репутація українського ІТ. Пройти опитування Асоціації IT Ukraine
×Закрыть

Вебінар «Невидимий Prolog у кожному компіляторі C++»

Відбулось
12 травня (вівторок)
Початок
19:00
Місце
Online
Вартість
безкоштовно
Підуть

Щоб майстерно опанувати будь-який інструмент, треба, перш за все, знати про його існування. Цей мітап про те, що компілятори — це не тільки бездушні автомати для генерації машинного коду, а ще і бездушні логічні інтерпретатори.

Захід для тих, хто професійно вигадує типи і зв’язки між ними. Бажане знання мови С++, але базові принципи розповсюджуються на будь-які мови зі строгою типізацією. Достатньо знати слова «тип» або «клас», «статичний поліморфізм», «темплейт» або «шаблон».

🔹 Тут поспілкуємось про ізоморфізм Карі-Говарда, який говорить про те, що доведення теорем і виведення типів — це одне і те ж саме. Тобто, коли ми запускаємо компілятор, то він неодмінно щось доводить в процесі. Автоматично. Безкоштовно. Але що він доводить, нащо, і як з цим жити — це вже питання цікавіші.

Під час заходу ми:

🔹 Розглянемо основи мови Prolog для того, щоб побачити в дії логічне програмування.
🔹 Знайдемо аналогії між типами С++ і атомами Prolog.
🔹 Побачимо різницю між логічним програмуванням і виведенням типів.

Учасники вийдуть із розумінням того, що усвідомлення зв’язку між типами і логікою допомагає правильно писати такий код, який складно написати неправильно.

🔹 Реєстрація обов’язкова: bit.ly/356Q1Ac

Google Calendar iCal
LinkedIn

Нет комментариев

Подписаться на комментарииОтписаться от комментариев Комментарии могут оставлять только пользователи с подтвержденными аккаунтами.

Подписаться на комментарии