@rae: Use closed type families for beautiful type inference

Автор: Tweag by Modus Create

Загружено: 2021-02-22

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

Описание: In an attempt to get better type inference for field retrieval from deeply nested records, I use closed type families to help disambiguate among class instances. This is really useful for writing ergonomic embedded domain-specific languages.

Also: Tweag is hiring! https://boards.greenhouse.io/tweag

Code at end of video: https://github.com/goldfirere/video-r...

Find me at https://richarde.dev/ or on Twitter at @RaeHaskell

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

@rae: Use closed type families for beautiful type inference

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

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

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

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

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

@rae: Use :type +d to default your types in GHCi

@rae: Use :type +d to default your types in GHCi

@rae: What Haskell's deep subsumption is, why we killed it, and then why we resurrected it.

@rae: What Haskell's deep subsumption is, why we killed it, and then why we resurrected it.

@rae: Basics of Haskell instance selection

@rae: Basics of Haskell instance selection

@rae: Немного поэкспериментируем с типами данных в Haskell.

@rae: Немного поэкспериментируем с типами данных в Haskell.

@rae: Введение в типы Haskell

@rae: Введение в типы Haskell

@rae's Thoughts on Haskell

@rae's Thoughts on Haskell

"A Little Taste of Dependent Types" by David Christiansen

The Haskell Unfolder Episode 28: type families and overlapping instances

The Haskell Unfolder Episode 28: type families and overlapping instances

Type system talks from Strange Loop

Type system talks from Strange Loop

Higher-order Type-level Programming in Haskell

Higher-order Type-level Programming in Haskell

Как понять RAG за 18 минут, даже если ты никогда не слышал про эмбеддинги

Как понять RAG за 18 минут, даже если ты никогда не слышал про эмбеддинги

@rae: What happens when a Haskell programmer writes Java

@rae: What happens when a Haskell programmer writes Java

Стоицизм: скам-философия или способ обрести счастье?

Стоицизм: скам-философия или способ обрести счастье?

Haskell для императивных программистов #16 — Вывод типа

Haskell для императивных программистов #16 — Вывод типа

Making sense of the Haskell type system by Ryan Lemmer at FnConf17

Making sense of the Haskell type system by Ryan Lemmer at FnConf17

@rae: Type families help define functions over length-indexed vectors

@rae: Type families help define functions over length-indexed vectors

Структура файлов и каталогов в Linux

Структура файлов и каталогов в Linux

Fun never stops. Introduction to Haskell Programming language by Paul Szulc

Fun never stops. Introduction to Haskell Programming language by Paul Szulc

Почему AI генерит мусор — и как заставить его писать нормальный код

Почему AI генерит мусор — и как заставить его писать нормальный код

Why functions are turing complete (Lambda Calculus)

Why functions are turing complete (Lambda Calculus)