- Type Tac Toe: Advanced Type Safety http://chrispenner.ca/posts/type-tac-toe 36 comments programming
- Type Tac Toe: Advanced Type Safety http://chrispenner.ca/posts/type-tac-toe 20 comments haskell
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- Idris: Type safe printf - YouTube https://www.youtube.com/watch?v=fVBck2Zngjo 58 comments
- Basic Type Level Programming in Haskell http://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html 47 comments
- 24 Days of GHC Extensions: View Patterns https://ocharles.org.uk/blog/posts/2014-12-02-view-patterns.html 38 comments
- Optics By Example by Chris Penner [Leanpub PDF/iPad/Kindle] https://leanpub.com/optics-by-example/ 31 comments
- singletons: Basic singleton types and definitions https://hackage.haskell.org/package/singletons 6 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:chrispenner.ca
Search title: Type Tac Toe: Advanced Type Safety
See how to search.