[Haskell-beginners] what is a qualified type?

[Christopher Howard]

On 08/09/2012 06:54 PM, Antoine Latter wrote:
> On Thu, Aug 9, 2012 at 9:56 PM, Christopher Howard
> <christopher.howard at frigidcode.com> wrote:
> 
> In what context are you seeing the term used?
> 
> Antoine
> 

I'm pulling the term vaguely from memory. The idea had something to do,
I think, with a type that has no other purpose than to qualify another
type, and somehow makes the programming more safe. I'm not referring to
qualified module imports, as someone suggested.

In my mind it is associated with "safe constructors" (another concept I
am relearning) but I'm not sure if the two concepts are actually related.

I know there is a book called "Qualified Types: Theory and Practice" by
Mark Jones <http://web.cecs.pdx.edu/~mpj/pubs/thesis.html> but I haven't
read it.

-- 
frigidcode.com
indicium.us

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 554 bytes
Desc: OpenPGP digital signature
URL: <http://www.haskell.org/pipermail/beginners/attachments/20120809/e4a23dda/attachment.pgp>