- An update to my "Fixed-Length Vector Types in Haskell" article -- after actually using them in real code with modern idioms :) https://blog.jle.im/entry/fixed-length-vector-types-in-haskell.html 4 comments haskell
Linking pages
- Verify your Typeclass Instances in Haskell Today! · in Code https://blog.jle.im/entry/verified-instances-in-haskell.html 43 comments
- haskell-challenges/h6-indexed-folds at master · effectfully-ou/haskell-challenges · GitHub https://github.com/effectfully-ou/haskell-challenges/tree/master/h6-indexed-folds 28 comments
- Fixed-Length Vector Types in Haskell, 2015 · in Code http://blog.jle.im/entry/fixed-length-vector-types-in-haskell-2015 18 comments
- Hamiltonian Dynamics in Haskell · in Code https://blog.jle.im/entry/hamiltonian-dynamics-in-haskell.html 15 comments
- Seven Levels of Type Safety in Haskell: Lists · in Code https://blog.jle.im/entry/levels-of-type-safety-haskell-lists.html 8 comments
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
- https://hackage.haskell.org/package/base/docs/numeric-natural.html 25 comments
- vector-sized: Size tagged vectors https://hackage.haskell.org/package/vector-sized 19 comments
- Fixed-Length Vector Types in Haskell, 2015 · in Code http://blog.jle.im/entry/fixed-length-vector-types-in-haskell-2015 18 comments
- Hamiltonian Dynamics in Haskell · in Code https://blog.jle.im/entry/hamiltonian-dynamics-in-haskell.html 15 comments
- singletons: Basic singleton types and definitions https://hackage.haskell.org/package/singletons 6 comments
- type-combinators: A collection of data types for type-level programming http://hackage.haskell.org/package/type-combinators 4 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: Fixed-Length Vector Types in Haskell (an Update for 2017) · in Code
See how to search.