9 Feb
2007
9 Feb
'07
3:48 a.m.
On 08.02 10:53, Ross Paterson wrote:
On Thu, Feb 08, 2007 at 10:49:46AM +0000, Neil Mitchell wrote:
Wouldn't a definition such as:
data Proxy a
Achieve the same effect?
In Haskell 98,
newtype Proxy a = Proxy (Proxy a) or data Proxy a = Proxy !(Proxy a)
yield one-point types.
I think these definitions make sense. One more reason not to export the constructor so the actual implementation will be hidden. I don't have a strong opinion to Type.Proxy vs Data.Proxy, but creating a new hierarchy would probably need more consensus. - Einar Karttunen