7 Feb
2012
7 Feb
'12
7:14 a.m.
On 02/07/2012 06:49 PM, Yves Parès wrote:
Are there documentation on constraints being types, how they can be declared/handled and what are the interests? The GHC User's Guide has (somewhat short) section http://www.haskell.org/ghc/docs/latest/html/users_guide/constraint-kind.html
Blog posts: http://blog.omega-prime.co.uk/?p=127 http://comonad.com/reader/2011/what-constraints-entail-part-1/