[Haskell-beginners] what is a qualified type?
aslatter at gmail.com
Fri Aug 10 05:41:19 CEST 2012
On Thu, Aug 9, 2012 at 10:42 PM, Christopher Howard
<christopher.howard at frigidcode.com> wrote:
> 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?
> 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.
Perhaps you're thinking of phantom types? They can be used like that.
> 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.
> Beginners mailing list
> Beginners at haskell.org
More information about the Beginners