Higher-Kinded Data | Lobsters

31

Higher-Kinded Data haskell programming reasonablypolymorphic.com
via PicNoir 5 years ago | archive
Archive.org Archive.today Ghostarchive
| 3 comments

3

1. 12
  phaer 5 years ago | link
  Because others might also find it non-obvious. Two of the announced follow-up posts are already available!
  
  http://reasonablypolymorphic.com/blog/free-lenses
  
  http://reasonablypolymorphic.com/blog/hkd-not-terrible
2. 3
  
  tel 5 years ago | link
  
  I call this the “template” pattern and it’s super useful!
3. 2
  
  lthms 5 years ago | link
  
  I found this reading very interesting, and my favourite trick is the HKD type family.