29 Mar
2010
29 Mar
'10
1:16 p.m.
a -> b -> c is a -> (b -> c)
domain : a
codomain : b -> c (which is a valid Haskell type, of the functions from b to
c)
2010/3/29 Günther Schmidt
Hi,
I can easily see how one identifies the domain and co-domain of a unary function.
How would the domain of a function be expressed that takes more than one argument and arguments of different type?
Günther
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/