Announcing the refinement types library – Functional programming debugs you - discu.eu

Hacker News

Refinement types in Haskell as a library http://nikita-volkov.github.io/refined/ 11 comments 27/4/2015

Reddit

Refinement types as a library http://nikita-volkov.github.io/refined/ 23 comments 27/4/2015 haskell

Linking pages

User-defined literals in Haskell via QuasiQuotes - Harry Garrood http://harry.garrood.me/blog/qq-literals/ 4 comments
GitHub - fthomas/refined: Refinement types for Scala https://github.com/fthomas/refined 3 comments

Linked pages

refined: Refinement types with static and runtime checking http://hackage.haskell.org/package/refined 29 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:nikita-volkov.github.io

Search title: Announcing the refinement types library – Functional programming debugs you

See how to search.

Submit link to: