axiom-mail
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]