Hacker News
- Faking ADTs and GADTs in languages that shouldn't have them https://blog.jle.im/entry/faking-adts-and-gadts.html 0 comments
- Faking ADTs and GADTs in Languages That Shouldn't Have Them https://blog.jle.im/entry/faking-adts-and-gadts.html 2 comments programming
- [Not April Fools] Faking ADTs and GADTs in Languages That Shouldn't Have Them https://blog.jle.im/entry/faking-adts-and-gadts.html 10 comments haskell
Linked pages
- reddit.com: Anmelden http://reddit.com/submit 54 comments
- Verify your Typeclass Instances in Haskell Today! · in Code https://blog.jle.im/entry/verified-instances-in-haskell.html 43 comments
- recursion-schemes: Representing common recursion patterns as higher-order functions https://hackage.haskell.org/package/recursion-schemes 31 comments
- Leibniz equality in Haskell, part 1 - Ryan Scott https://ryanglscott.github.io/2021/08/22/leibniz-equality-in-haskell-part-1/ 14 comments
- Visualizing Prequel Meme Prefix Tries with Recursion Schemes · in Code https://blog.jle.im/entry/tries-with-recursion-schemes.html 13 comments
- Sum Types and Subtypes and Unions · in Code https://blog.jle.im/entry/sum-types-and-subtypes-and-unions.html 9 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:blog.jle.im
Search title: Faking ADTs and GADTs in Languages That Shouldn't Have Them · in Code
See how to search.