Skip to content
Hallway
0:00 / 0:00

#quantifiedconstraints#ghcextensions#typeclasses

The Haskell Unfolder Episode 2: quantified constraints

Well-Typed

3.4K subscribers • 13 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Linked in the descriptionwell-typed/unfolder

Intermediate. Assumes working knowledge.

3.5K views3 years ago1 recommendation

Programming languagesHaskell

An explanation of the QuantifiedConstraints language extension in Haskell, contrasting different variants and showing practical examples.

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: github.com/well-typed/unfolder - Paper introducing quantified constraints: "Quantified Class Constraints", Bottu et al., pure.ed.ac.uk/ws/files/42495988/quantcc.pdf - ghc ticket on quantified constraints and type families: gitlab.haskell.org/ghc/ghc/-/issues/14860 - Introduction - Title sequence - Monad transformers - `quickcheck-dynamic` - Contrasting different variants of quantified constraints - Well-typed expressions - Questions about existentials - Encryption example, interaction of quantified constraints and type families - End

Why it's here

1 person recommends this

What people say. Recommended as a clear and practical explanation of Haskell's quantified constraints extension.

u/kosmikusin r/haskell • Recommends

The Haskell Unfolder Episode 2: quantified constraints Today at 1830 UTC (11:30 am PDT, 2:30 pm EDT, 7:30 pm BST, 20:30 CEST, ...) we are streaming the second episode of the Haskell Unfolder live on YouTube: [video 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. The Haskell Unfolder is a YouTube series about all things Haskell hosted by Edsko de Vries and Andres Löh, with episodes appearing approximately every two weeks. The playlist containing the first episode is here: [video We also…
25View on Reddit