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