Re: Referentially transparent I/O in purely functional languages

Article View: comp.lang.functional

Article #587

Back to comp.lang.functional Previous Next

#587

From: Tony Davie
Date: Mon, 28 Sep 1992 09:48

6 lines
1105 bytes

> I expect that many of the people involved in the design of Haskell read this
> newgroup, so I will pose the following question to them: why doesn't Haskell
> have any support for the notion of a unique type? Was this simply never
> considered, or were there some particular reason(s)?

Perhaps someone could say something about what a'unique' type is.

Technical Details

Message-ID: <1992Sep28.094838.4991@st-andrews.ac.uk>

Path:

arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!sun-barr!olivea!spool.mu.edu!agate!doc.ic.ac.uk!uknet!strath-cs!st-and!ajtd@honey.st-and.ac.uk

References:

<aet.716621577@munagin> <1992Sep17.154619.17922@sharebase.com> <23679@alice.att.com> <1992Sep21.120932@cs.utwente.nl> <23688@alice.att.com> <1992Sep23.111505@cs.utwente.nl> <Bv1Ms1.1s3@sci.kun.nl> <9226902.8858@mulga.cs.mu.OZ.AU>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!sun-barr!olivea!spool.mu.edu!agate!doc.ic.ac.uk!uknet!strath-cs!st-and!ajtd@honey.st-and.ac.uk
From: ajtd@honey.st-and.ac.uk (Tony Davie)
Newsgroups: comp.lang.functional
Subject: Re: Referentially transparent I/O in purely functional languages
Message-ID: <1992Sep28.094838.4991@st-andrews.ac.uk>
Date: 28 Sep 92 09:48:38 GMT
References: <aet.716621577@munagin> <1992Sep17.154619.17922@sharebase.com> <23679@alice.att.com> <1992Sep21.120932@cs.utwente.nl> <23688@alice.att.com> <1992Sep23.111505@cs.utwente.nl> <Bv1Ms1.1s3@sci.kun.nl> <9226902.8858@mulga.cs.mu.OZ.AU>
Sender: usenet@st-andrews.ac.uk (NNTP access user)
Organization: St.Andrews University
Lines: 6
Nntp-Posting-Host: 138.251.192.26

Reply to Parent Message