Singular Type Constructor

[Ashley Yakeley]

At 2001-07-31 01:55, Simon Marlow wrote:

>The type T is undoubtedly useful, but I think the example you give isn't
>a good one.  It works perfectly well without the T data type:
>
>  class HasTypeName t where
> 		getTypeName	:: t -> String

Perhaps. I think your use of 'undefined' is a bit ugly. The type 't -> 
String' suggests you need a value of type 't' to get a name for 't', 
which is not what I want to imply. 'undefined :: t' is intended to 
represent the type 't', which is not something intuitively "undefined".

-- 
Ashley Yakeley, Seattle WA