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