FProg SPb | Poke

40:48

Демонстрация применения fp-ts совместно с React в простых примерах (Сергей Гулин)

43:11

Он нам [не особо] нужон ORM ваш или как мы написали dsql (Артём Алексеев)

47:10

Генерация некоторых пруф-термов на coq-elpi (Андрей Ляшин)

23:32

Дзен и искусство атомарного CSS в Clojure (Артём Алексеев)

38:30

Обзор PureScript Halogen (Владимир Кальницкий)

34:09

Моделирование рекурсивных типов в Dhall (Владимир Кальницкий) 26.08.2021

48:00

PureScript: первое знакомство с разработкой SPA при помощи React (Сергей Гулин) 26.08.2021

44:47

Введение в Nix (Егвий Виноградов) 26.08.2021

01:11:40

OCaml для хаскелиста. Часть 2 (Юрий Горшков) 19.10.2020

01:50:04

OCaml для хаскелиста. Часть 1 (Юрий Горшков) 29.10.2020

24:22

Использование Clojure CLI для автоматизации рутинных задач (Кирилл Чернышов) 20.10.2020

01:21:37

Лыжи в Кложе или базовые понятия комбинаторного SKI исчисления (Андрей Иванов) 06.08.2020

02:01:01

Предмет верблюжьей гордости (Юрий Горшков) 25.06.2020

01:48:51

Liscript (yet another lisp dialect): подходы, концепции, фичи (Андрей Иванов) 02.07.2020

01:16:26

Лучшая FRP библиотека - это STM (Александр Гранин) 10.06.2020

01:45:32

Лайвкодинг на Haskell (Александр Вершилов) 18.06.2020

58:24

Игрострой на Dr. Racket (Алексей Пирогов) 04.06.2020

01:13:10

Context - библиотека управления состоянием системы в Clojure (Михаил Ананьев) 28.05.2020

01:59:51

Пишем игру Labyrinth на фреймворке Hydra (Александр Гранин) 21.05.2020

01:18:29

Вглубь собаки пошагово (Андрей Иванов) 14.05.2020

02:04:52

Внутри собаки жуть и мрак (Николай Рыжиков) 08.05.2020

52:22

Сбор метрик Haskell приложений (Александр Вершилов) 29.11.2018

24:52

Документация в Erlang (Алексей Никитин) 29.11.2018

44:18

Применение CRDT/RON для создания распределенных приложений на Haskell (Юрий Сыровецкий) 29.11.2018

26:29

Неконструктивные расширения Coq (Сергей Божко) 31.05.2018

01:12:47

Верификация на Coq простейших моделей смарт-контрактов (Андрей Ляшин) 31.05.2018

56:13

Make frontend backend again (Николай Рыжиков) 31.05.2018

53:04

Теория и практика встраивания внешних языков программирования в Haskell (Александр Вершилов) 19.4.18

55:04

Разработка компилятора языка Flow (Дмитрий Соломенников) 19.04.2018

43:33

eDSL для графа переходов на free монадах и экзистенциальных типах (Александр Гранин) 19.04.2018

41:46

Обзор методов программирования для Web на языке OCaml (Дмитрий Косарев) 17.03.18

01:02:10

Прагматичные зависимые типы для прагматичных программистов (Вячеслав Шебанов) 17.03.18

35:09

Template Haskell с нуля и примерно до середины (Артем Казак) 22.02.18

01:03:01

The Ivory Tower (Дмитрий Бушев) 22.02.18

53:46

Elm и The Elm Architecture: что это и зачем это всё? (Алексей Пирогов) 22.02.18