Re: Spad and inductive types

Gabriel Dos Reis <[email protected]> Wed, 9 May 2007 08:40:18 -0500 (CDT)

Newsgroups	gmane.comp.mathematics.axiom.user
Message-ID	<[email protected]>

On Wed, 9 May 2007, Ralf Hemmecke wrote:

| And I cannot say whether MkInt is a type constructor in Haskell, since I don't
| know the language very well. 

MkInt is NOT a type constructor in Haskell; Bill was very confused.
MkInt is a *data* constructor, and your understanding is correct.

-- Gaby

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.