Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
dTub
Скачать

Chris Penner - Alternative by example - A typeclass for parsing, concurrency, logic programming

Автор: Konfy

Загружено: 2022-11-09

Просмотров: 2087

Описание:

Special thanks to the Haskell Foundation for supporting the production of this video!

Haskell Love 2021 schedule: https://emamo.com/event/haskell-love
Haskell Love twitter:   / _haskellove  

This talk is a deep-dive on the Alternative typeclass from `Control.Applicative`, which provides a monoid over applicative functors, we love monoids, and we love applicatives, what do we get when we combine the two?

We'll start off by exploring the typeclass and its laws by showing off some helpful examples, and develop some intuition at the same time. Next we'll look at a few examples of several unique instances of Alternative: lists, parsers, routing, MaybeT, STM and more!

Scattered throughout we'll learn some fun and unexpected uses of combinators and how they interact in ways that are unexpected but are still useful. Did you know that parser combinators double as useful concurrency primitives!?

Chris Penner - Alternative by example - A typeclass for parsing, concurrency, logic programming

Поделиться в:

Доступные форматы для скачивания:

Скачать видео mp4

  • Информация по загрузке:

Скачать аудио mp3

Похожие видео

Gergo Erdi - Executable, Synthesizable, Human Readable: Pick Three

Gergo Erdi - Executable, Synthesizable, Human Readable: Pick Three

Mikael Tonnberg - Knowledge as code - why we use Haskell at a fast growing startup

Mikael Tonnberg - Knowledge as code - why we use Haskell at a fast growing startup

Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads)

Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads)

Адская прожарка Ruby. Так ли хорош язык программирования Ruby? #ruby #rubyonrails #programming

Адская прожарка Ruby. Так ли хорош язык программирования Ruby? #ruby #rubyonrails #programming

Webinar | Understanding AI: how to identify key negotiation points

Webinar | Understanding AI: how to identify key negotiation points

Functional Parsing - Computerphile

Functional Parsing - Computerphile

Rare Interview with a Perl programmer

Rare Interview with a Perl programmer

Stephanie Weirich - How to Implement the Lambda Calculus, Quickly

Stephanie Weirich - How to Implement the Lambda Calculus, Quickly

Making Music with Haskell From Scratch

Making Music with Haskell From Scratch

Программирование с использованием математики | Лямбда-исчисление

Программирование с использованием математики | Лямбда-исчисление

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Как Omit {T, K} растворил типы, или Что такое дистрибутивность типов в TypeScript / Денис Платонов

Как Omit {T, K} растворил типы, или Что такое дистрибутивность типов в TypeScript / Денис Платонов

Brent Yorgey - Competitive Programming in Haskell

Brent Yorgey - Competitive Programming in Haskell

04-05 Type Class Overview: Eq, Ord, Enum, Bounded (Introduction to Haskell)

04-05 Type Class Overview: Eq, Ord, Enum, Bounded (Introduction to Haskell)

Алгоритмы и структуры данных ФУНДАМЕНТАЛЬНЫЙ КУРС от А до Я. Графы, деревья, хеш таблицы и тд

Алгоритмы и структуры данных ФУНДАМЕНТАЛЬНЫЙ КУРС от А до Я. Графы, деревья, хеш таблицы и тд

C Programmer Learns Haskell and DOESN'T Cry? (Coding in a Random Language Every Day)

C Programmer Learns Haskell and DOESN'T Cry? (Coding in a Random Language Every Day)

Parsing Explained - Computerphile

Parsing Explained - Computerphile

Ivan Gromakovskii - Exceptions and concurrency

Ivan Gromakovskii - Exceptions and concurrency

КАК НЕЛЬЗЯ ХРАНИТЬ ПАРОЛИ (и как нужно) за 11 минут

КАК НЕЛЬЗЯ ХРАНИТЬ ПАРОЛИ (и как нужно) за 11 минут

Rebecca Skinner - Make It Purple: An Introduction To Type Level Programming

Rebecca Skinner - Make It Purple: An Introduction To Type Level Programming

© 2025 dtub. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: [email protected]