- Practical examples of how dependent types are going to help Haskellers who don't know anyhting about dependent types https://hackage.haskell.org/package/vector-sized 19 comments haskell
Linking pages
- Hamiltonian Dynamics in Haskell · in Code https://blog.jle.im/entry/hamiltonian-dynamics-in-haskell.html 15 comments
- Haskell Nuggets: k-means · in Code https://blog.jle.im/entry/haskell-nuggets-kmeans.html 11 comments
- Fixed-Length Vector Types in Haskell (an Update for 2017) · in Code https://blog.jle.im/entry/fixed-length-vector-types-in-haskell.html 5 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:hackage.haskell.org
Search title: vector-sized: Size tagged vectors
See how to search.