FScala 2024 | Денис Шевченко, BIOCAD | Изоморфизм Карри-Говарда и Вселенная
Роль математики в нашей профессии
Кем был автор лямбда-исчисления и почему математики отстают от философов? Где прячется алгебра в алгебраических типах данных и почему Scala-руководство не говорит всей правды? Как с помощью функции доказать теорему и зачем нужен пустой тип?
💡Все это в докладе Дениса Шевченко на F[Scala] 2024 — второй конференции по Scala и функциональному программированию от Яндекс Вертикалей (Авто.ру, Яндекс Путешествия, Недвижимость и Аренда), которая прошла 30 ноября в Москве.
Присоединяйтесь к сообществу Scala-разработчиков Яндекс Вертикалей в телеграм
11 hours ago 00:40:27 1
![20 F[Scala] 2024 | Иван Лягаев, Т-Банк | Поставка http-интеграций через библиотеки](https://sun9-39.userapi.com/impg/JnhYJCu5KEJav0I6Jvoyrovz9tHTMIySdL2DJw/ORytxXucapA.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=f62f83ceb6462decfdaf7c5a3bcc8137&c_uniq_tag=EIgq4M08YUAzkdpPV09_3ev8kv4xLmqwmm8VOdb7fGk&type=video_thumb)
11 hours ago 00:36:00 59
![F[Scala] 2024 | Ахтям Сакаев, Авто.ру | Процесс](https://sun9-80.userapi.com/impg/2pTN00MUh7f3f0VDvLwUSwUJdk3nliVWUheYSA/qYJmyFZ7_mA.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=687dbfbc8b3f59f9d6d1b1399884615f&c_uniq_tag=vB6nFUNYF1EUzJDVU7yQxNhqk3uaDmNX91WSDPyjEZk&type=video_thumb)
11 hours ago 00:45:23 4
11 hours ago 00:48:41 8
![F[Scala] 2024 | Роман Смирнов, Ecom Tech | Акторная модель на примере BEAM](https://sun9-69.userapi.com/impg/2cxROiC1wpF9_8sHvDshmn4qrADvMHg3pClINw/1dOh6iXvseE.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=9c5da82b2d9106534f7c6f869c1763c8&c_uniq_tag=UFxKD2HnLAVSkfB-lWK1qMtd-GUnvBoEGAzIkrgvLEM&type=video_thumb)
11 hours ago 00:32:41 47
![F[Scala] 2024 | Дмитрий Каряев, Яндекс Вертикали | Boxing в Scala: когда это плохо и как бороться?](https://sun9-58.userapi.com/impg/7pMUJAzg1Q32qCaHX3DbqzIL4LMT4lrFzpgagA/XsX9FSi_MWc.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=53205a015730844263d8de201ac07d62&c_uniq_tag=fdC74Dj9BrE7vjtoTKiipQBcLWD9EAtFOaKFPsJPm9U&type=video_thumb)
11 hours ago 00:38:32 9
![F[Scala] 2024 | Алексей Троицкий, Т-Банк | Подношение от типов: отношение подтипов](https://sun9-72.userapi.com/impg/1javEhGwT_ObV_wM5gegC3lhDN1Q7LjrCrfW1g/J2sqrDJWs7o.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=71e7d38e3a13e66d9e83755a44ebc2eb&c_uniq_tag=684pdKeWCgWl9Pscf7zk_Rz1M6JuR3bom4SpFvGLvwg&type=video_thumb)
11 hours ago 00:34:54 4
![F[Scala] 2024 | Денис Шевченко, BIOCAD | Изоморфизм Карри-Говарда и Вселенная](https://sun9-64.userapi.com/impg/W_H1R5mPL6xHpN5Xw6NtLp1IgCr1J4zlA0sHqg/eparbI33JiQ.jpg?size=320x240&quality=95&keep_aspect_ratio=1&background=000000&sign=c7cc601615bcab0b1a7ffeb18abf224f&c_uniq_tag=xD9J6tYsVlQbCumeHuEthkSv69TJxHBMksOACjEpUrU&type=video_thumb)