From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/165
Path: news.gmane.org!not-for-mail
From: Daniel =?iso-8859-1?q?Sch=FCssler?= <danlex@gmx.de>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: Functions in programming
Date: Mon, 16 Mar 2009 05:25:23 +0100
Message-ID: <E1LjMTM-0001P2-KE@mailserv.mta.ca>
Reply-To: Daniel =?iso-8859-1?q?Sch=FCssler?= <danlex@gmx.de>
NNTP-Posting-Host: lo.gmane.org
Mime-Version: 1.0
Content-Type: text/plain;  charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Trace: ger.gmane.org 1237249369 12443 80.91.229.12 (17 Mar 2009 00:22:49 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Tue, 17 Mar 2009 00:22:49 +0000 (UTC)
To: categories@mta.ca
Original-X-From: categories@mta.ca Tue Mar 17 01:24:06 2009
Return-path: <categories@mta.ca>
Envelope-to: gsmc-categories@m.gmane.org
Original-Received: from mailserv.mta.ca ([138.73.1.1])
	by lo.gmane.org with esmtp (Exim 4.50)
	id 1LjN6B-0007XB-0J
	for gsmc-categories@m.gmane.org; Tue, 17 Mar 2009 01:24:03 +0100
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61)
	(envelope-from <categories@mta.ca>)
	id 1LjMTM-0001P2-KE
	for categories-list@mta.ca; Mon, 16 Mar 2009 20:43:56 -0300
Content-Disposition: inline
Original-Sender: categories@mta.ca
Precedence: bulk
Xref: news.gmane.org gmane.science.mathematics.categories:165
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/165>

Hello,

On Sunday 15 March 2009 23:18:41 Robin Cockett wrote:
> There is one problem, of course: Haskell does not think this is legal as
> it thinks all datatypes should have at least one constructor.

With GHC you can have empty types if you include the {-#
OPTIONS -XEmptyDataDecls #-} pragma :)


Greetings,
Daniel