Дмитрий Сошников — Введение в теорию функционального программирования с примерами на F#
—
Чем дальше — тем больше функционального подхода к программированию мы видим вокруг нас. Это и функциональные компоненты в React, и пайплайны обработки данных в Apache Spark, и подход с функциональными трансформациями в JAX. Этот список можно долго продолжать.
Дмитрий рассказывает про формальные основы функционального программирования и поговорит о двух математических теориях, лежащих в основе этого подхода: лямбда-исчислении и теории категорий.
Этот доклад — для тех, кто хочет немного «размять мозг», а также поговорить о том, может ли математика помочь нам писать более качественный код. Примеры в докладе — на языке F#.
Скачать презентацию с сайта DotNext —
1 view
0
0
2 months ago 04:17:13 1
Завтракаст 325 – Айл Би Бек
3 months ago 01:18:18 2
SMILES-2024: Дмитрий Сошников, современные подходы к RAG (Retrieval Augmented Generation)
3 months ago 03:31:39 1
Завтракаст 324 – Йотейский дрифт
3 months ago 00:03:35 4
Wildways – Химия (Music video)
4 months ago 09:35:59 1
БЕЛЫЕ ВОЛКИ -2. Боевик Все серии.
4 months ago 00:02:50 1
Дышать - Шулай
4 months ago 00:02:33 1
Небо — Трейлер (2021)
5 months ago 00:03:40 1
Стройбат feat. Александр Ливер (Н.О.М.) - Наша Сила В Плавках
7 months ago 09:50:10 3
САМЫЙ КРУТОЙ КРИМИНАЛЬНЫЙ ФИЛЬМ! Охотник за головами. ВСЕ СЕРИИ. Детектив. Лучшие фильмы
7 months ago 01:23:49 1
Искусственный интеллект в образовании: взгляд из России и Китая
7 months ago 01:57:30 2
IT образование / Развитие искусственного интеллекта / Дмитрий Сошников в подкасте Синий Экран Смерти
8 months ago 00:03:46 1
ДРАГНИ - ЛЕПЕСТОК
8 months ago 00:02:32 1
ASTERO, Cергей АРУТЮНОВ, Маша Малиновская - Не Дано
9 months ago 02:55:29 1
Секция Формула человека дизайн и метадизайн интеллекта в науке, культуре и философии
9 months ago 01:06:25 1
Дмитрий Сошников — Введение в теорию функционального программирования с примерами на F#
9 months ago 00:04:51 1
Евгений Кисляков - Няшная
10 months ago 00:03:34 38
Евгений Кисляков - Весенний танец
10 months ago 00:04:35 1
Евгений Кисляков - Звонок из банка (Песня про мошенников)