Hacker News
- Basic Type-Level Programming in Haskell http://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html 20 comments
- Basic Type Level Programming in Haskell http://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html 27 comments haskell
Linking pages
- Kindness for Mean Girls: a discussion on type-level programming in Haskell | Ayman Nadeem https://www.aymannadeem.com/haskell/2020/05/15/Kindness-for-Mean-Girls.html 62 comments
- Type Tac Toe: Advanced Type Safety http://chrispenner.ca/posts/type-tac-toe 57 comments
- A Guide to GHC's Extensions - Jannis' Word Discounter https://limperg.de/ghc-extensions/ 39 comments
- Using dependent types to write proofs in Haskell | Ascetic Slug https://janmasrovira.gitlab.io/ascetic-slug/post/haskell-proofs/ 16 comments
- Dimensions and Haskell: Singletons in Action https://serokell.io/blog/dimensions-haskell-singletons 11 comments
- Relational Algebra with Fancy Types | Hey There Buddo! http://www.philipzucker.com/relational-algebra-with-fancy-types/ 9 comments
- Kindness for Mean Girls: a discussion on type-level programming in Haskell | Ayman Nadeem http://aymannadeem.github.io/haskell/2020/05/15/Kindness-for-Mean-Girls.html 3 comments
- Intro to type-level programming in Haskell - Part 1 · Matija http://matija.me/2020/07/04/haskell-type-lvl-programming-intro/ 1 comment
- Kinds and Higher-Kinded Types in Haskell https://serokell.io/blog/kinds-and-hkts-in-haskell 1 comment
- Solving Advent of Code “Handy Haversacks” in Type-level Haskell | abhinavsarkar.net https://abhinavsarkar.net/posts/type-level-haskell-aoc7/ 0 comments
- GitHub - soupi/haskell-study-plan: An opinionated list of resources for learning Haskell https://github.com/soupi/haskell-study-plan 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:www.parsonsmatt.org
Search title: Basic Type Level Programming in Haskell
See how to search.