@rae: How to use record-update syntax in Haskell (+ some dark corners)

Автор: Tweag by Modus Create

Загружено: 2022-04-28

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

Описание: I introduce Haskell's record-update syntax, describing type-changing record update, and how things go just a bit awry when more advanced type system features get involved.

Merge request improving the implementation of record update in GHC: https://gitlab.haskell.org/ghc/ghc/-/...

Find me at https://richarde.dev/ or on Twitter at @RaeHaskell
Video index at https://richarde.dev/videos.html

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

@rae: How to use record-update syntax in Haskell (+ some dark corners)

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

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

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

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

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

@rae: Impredicative types and dynamic types -- useful in parsing JSON

@rae: Impredicative types and dynamic types -- useful in parsing JSON

Понимание записей в Haskell

Понимание записей в Haskell

@rae: RebindableSyntax in Haskell

@rae: RebindableSyntax in Haskell

Музыка лечит сердце и сосуды🌸 Успокаивающая музыка восстанавливает нервную систему,расслабляющая

Музыка лечит сердце и сосуды🌸 Успокаивающая музыка восстанавливает нервную систему,расслабляющая

Best of Deep House [2026] | Melodic House & Progressive Flow

Best of Deep House [2026] | Melodic House & Progressive Flow

Alexis King - “Effects for Less” @ ZuriHac 2020

Alexis King - “Effects for Less” @ ZuriHac 2020

Terminal 1987 Never Closed — 24/7 Synthwave Dev Stream

Terminal 1987 Never Closed — 24/7 Synthwave Dev Stream

Haskell for Imperative Programmers

Haskell for Imperative Programmers

Как Ubuntu Предала Linux - Вся Правда о Взлёте и Падении Canonical

Как Ubuntu Предала Linux - Вся Правда о Взлёте и Падении Canonical

ХОДОРКОВСКИЙ: Паранойя Путина. Режим стареет. Подарок Трампа. Блокировка интернета = деградация

ХОДОРКОВСКИЙ: Паранойя Путина. Режим стареет. Подарок Трампа. Блокировка интернета = деградация

@rae's Thoughts on Haskell

@rae's Thoughts on Haskell

ХИТЫ 2025🔝Лучшая музыка 2025 🏖️ Зарубежные песни Хиты 🏖️ Популярные песни Слушать бесплатно 2025

ХИТЫ 2025🔝Лучшая музыка 2025 🏖️ Зарубежные песни Хиты 🏖️ Популярные песни Слушать бесплатно 2025

@rae: Using singleton types to replicate a length-indexed Vector

@rae: Using singleton types to replicate a length-indexed Vector

🌌 Relaxing Liquid DnB 24/7 🔴 Chill Beats Radio | LiquidHourDnB

🌌 Relaxing Liquid DnB 24/7 🔴 Chill Beats Radio | LiquidHourDnB

⚡️ Окружение с трёх сторон началось || Крупнейший в мире объект поражён

⚡️ Окружение с трёх сторон началось || Крупнейший в мире объект поражён

npm, Github и VS Code – одни и те же ошибки разработчиков

npm, Github и VS Code – одни и те же ошибки разработчиков

The Nix Hour #72 [fetchers and output size]

The Nix Hour #72 [fetchers and output size]

@rae: What happens when a Haskell programmer writes Java

@rae: What happens when a Haskell programmer writes Java

КАК УСТРОЕН TCP/IP?

КАК УСТРОЕН TCP/IP?

Войска стянуты к границе / Новая страна вступает в войну?

Войска стянуты к границе / Новая страна вступает в войну?