[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: |
09 May 2007 03:59:07 -0500 |
"Bill Page" <address@hidden> writes:
[...]
| in Haskell, by a kind of convenient abuse of notation
| (or polymorphism if you wish) 'MkInt' also denotes a
| function
|
| MkInt: Int -> MkInt Int
Bill --
you're highly confused.
http://haskell.org/onlinereport/decls.html#user-defined-datatypes
and most of your related comments don't make much sense.
-- Gaby
- Re: [Axiom-mail] Spad and inductive types, (continued)
Re: [Axiom-mail] Spad and inductive types, Bill Page, 2007/05/08
Re: [Axiom-mail] Spad and inductive types, Bill Page, 2007/05/09
Re: [Axiom-mail] Spad and inductive types, Bill Page, 2007/05/09
Re: [Axiom-mail] Spad and inductive types, Bill Page, 2007/05/09