this post was submitted on 06 Dec 2023
2 points (100.0% liked)

Haskell

6 readers
1 users here now

**The Haskell programming language community.** Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more... ### Links - Get Started with Haskell

founded 2 years ago
2
The Haskell Unfolder Episode 16: monads and deriving via (well-typed.com)
submitted 2 years ago by [email protected] to c/[email protected]
1 comments fedilink hide all child comments
 

In this episode, we'll see how deriving-via can be used to capture rules that relate type classes to each other. As a specific example, we will discuss the definition of the Monad type class: ever since this definition was changed back in 2015 in the Applicative Monad Proposal, instantiating Monad to a new datatype requires quite a bit of boilerplate code. By making the relation between

top 1 comments
sorted by: hot top controversial new old
[–] [email protected] 1 points 2 years ago

For more details on DerivingVia, check out the paper:

https://ryanglscott.github.io/papers/deriving-via.pdf

Especially Section 4 which lists many use cases including the superclasses demonstrated in the video.