3 ms·
Can someone who knows more about haskell than me explain whether: 1. there are any disadvantages to using this library 2. there are any comparable libraries t
by mijoharas 12y ago
Can someone who knows more about haskell than me explain whether:
1. there are any disadvantages to using this library
2. there are any comparable libraries that I should/could be using instead (obviously with reasons as to why it's better/worse).
because this sounds great and I now want to start using it everywhere!
- nikita-volkov 12y agoAs it came up in the discussion at Reddit (http://www.reddit.com/r/haskell/comments/3425pk/refinement_types_as_a_library/cqqni9q http://www.reddit.com/r/haskell/comments/3425pk/refinement_t...), there at least exists "data-checked" (http://hackage.haskell.org/package/data-checked http://hackage.haskell.org/package/data-checked).
- dllthomas 12y agoUsing the Template Haskell bits have all the disadvantages of Template Haskell - mostly a slower compile. Other than that, I don't see many downsides. As mentioned in the discussion on r/haskell, things get a little tricky when your arguments interact, but if you're okay with uncurrying you can still verify that you've got a sane combination: http://www.reddit.com/r/haskell/comments/3425pk/refinement_types_as_a_library/cqqik1i http://www.reddit.com/r/haskell/comments/3425pk/refinement_t... It also may require some explicit conversions in places they shouldn't strictly be necessary. Other than that, I don't see any downsides. There do seem to be a couple similar libraries, but feel free to start using it everywhere :)