On Sun, 17 Aug 2003 [EMAIL PROTECTED] wrote:
>
> > I defined type recursion and naturals as
>
> > >newtype Mu f = In {unIn :: f (Mu f)}
> > >data N f = S f | Z
> > >type Nat = Mu N
>
> > An application of Mu should be showable if the functor maps showable types
> > to showable types, so the most
(We apologize for the reception of multiple copies)
** DEADLINE IS APPROACHING: CALL FOR PAPER ***
Call for Papers
Compositional Verification of UML Models
Workshop of the UML 2003 Conference
The definition of UM
On Mon, 18 Aug 2003 10:03:45 +1000
"Trouble ..." <[EMAIL PROTECTED]> wrote:
> Hi!
>
> I'm new to this whole programming thing, and I was wondering if
> someone can help me out with the following question:
>
> How do I translate a string into an integer. For example, I need to
> know how to trans
On Mon, 18 Aug 2003, Trouble ... wrote:
> How do I translate a string into an integer.
You can use the overloaded function read for this...
read "4" would give 4
This function will convert any string into any value (as long as the
string is properly formatted and the value implements the funct
> I defined type recursion and naturals as
> >newtype Mu f = In {unIn :: f (Mu f)}
> >data N f = S f | Z
> >type Nat = Mu N
> An application of Mu should be showable if the functor maps showable types
> to showable types, so the most natural way to define the instance seemed
> to be
> instance
Hi!
I'm new to this whole programming thing, and I was wondering if someone can
help me out with the following question:
How do I translate a string into an integer. For example, I need to know how
to translate "one hundred" into 100, or "fifty thousand ten " into 50 010
etc etc .. I need to
I wrote on Saturday, 2003-08-09, 01:32, CEST:
> Hello,
>
> I have this code:
> class C a b c | a b -> c where
> f :: a -> b -> c
>
> instance C a b c => C a (x,y,b) c where
> f a (_,_,b) = f a b
>
> instance C a (a,c,b) c where
> f _ (_,c,_) = c
> ghci -fglasgow-
