The Haskell Unfolder Episode 2: quantified constraints
Автор: Well-Typed
Загружено: 2023-05-03
Просмотров: 3368
Описание:
In this episode, we will discuss the `QuantifiedConstraints` language extension.
For this episode we will assume familiarity with type classes. An understanding of type families will be helpful for a part of the episode, but is not a requirement.
Resources:
Repository where the code will be made available after the episode: https://github.com/well-typed/unfolder
Paper introducing quantified constraints: "Quantified Class Constraints", Bottu et al., https://www.pure.ed.ac.uk/ws/files/42...
ghc ticket on quantified constraints and type families: https://gitlab.haskell.org/ghc/ghc/-/...
00:00 - Introduction
00:20 - Title sequence
00:51 - Monad transformers
07:10 - `quickcheck-dynamic`
11:28 - Contrasting different variants of quantified constraints
14:04 - Well-typed expressions
20:48 - Questions about existentials
24:04 - Encryption example, interaction of quantified constraints and type families
30:53 - End
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
