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 <[email protected]> > 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 > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > -- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
