Myvideo

Guest

Login

FScala 2024 | Денис Шевченко, BIOCAD | Изоморфизм Карри-Говарда и Вселенная

Uploaded By: Myvideo
1 view
0
0 votes
0

Роль математики в нашей профессии Кем был автор лямбда-исчисления и почему математики отстают от философов? Где прячется алгебра в алгебраических типах данных и почему Scala-руководство не говорит всей правды? Как с помощью функции доказать теорему и зачем нужен пустой тип? 💡Все это в докладе Дениса Шевченко на F[Scala] 2024 — второй конференции по Scala и функциональному программированию от Яндекс Вертикалей (Авто.ру, Яндекс Путешествия, Недвижимость и Аренда), которая прошла 30 ноября в Москве. Присоединяйтесь к сообществу Scala-разработчиков Яндекс Вертикалей в телеграм

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later