[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Spad and inductive types
|
From: |
Gabriel Dos Reis |
|
Subject: |
Re: [Axiom-mail] Spad and inductive types |
|
Date: |
Wed, 9 May 2007 08:40:18 -0500 (CDT) |
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
Re: [Axiom-mail] Spad and inductive types, Bill Page, 2007/05/09