- What are the limitations of Template Haskell and type inference and also reflection? https://hackage.haskell.org/package/refined 3 comments haskell
- How come refined isn't in base? http://hackage.haskell.org/package/refined 26 comments haskell
Linking pages
- Announcing the refinement types library – Functional programming debugs you http://nikita-volkov.github.io/refined/ 34 comments
- Lenses embody Products, Prisms embody Sums · in Code https://blog.jle.im/entry/lenses-products-prisms-sums.html 33 comments
- GitHub - fosskers/scalaz-and-cats: Usage examples and benchmarks between Scalaz and Cats (w/ Haskell ground-truth). https://github.com/fosskers/scalaz-and-cats 32 comments
- Parallel typeclass for Haskell • gvolpe's blog https://gvolpe.github.io/blog/parallel-typeclass-for-haskell/ 12 comments
- Daniel J. Harvey - Refine, fine, fine https://danieljharvey.github.io/posts/2019-07-05-refined-types.html 0 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: refined: Refinement types with static and runtime checking
See how to search.