this post was submitted on 08 Nov 2023
5 points (100.0% liked)

Haskell

5 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
 

In this episode, we are going to look at the common design pattern where we abstract all the fields of a record type over a type constructor which can then be instantiated to the identity to get the original record type back, but also to various other interesting type constructors. We are going to look at a few examples, and are also going to see how common operations on such types naturally lead to the use of higher-rank polymorphic types.

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here