Subject:  Re: [Haskellcafe] foldl in terms of foldr 

From:  Alexander Solla 
Date:  Tue, 26 Jan 2010 15:50:40 0800 
> f :: a > b > c is a function that takes an a, a b, and returns a c. Except that f and g are not isomorphic. In fact, there exists no defined fuction g :: (a > b) > cThe types are isomorphic. They both have the same extension. Both types are empty.(what type would (g id) be? How do you make a function that returns an ununtyped value? You can't. _______________________________________________ HaskellCafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskellcafe 
<Prev in Thread]  Current Thread  [Next in Thread> 


Previous by Date:  Re: [Haskellcafe] foldl in terms of foldr, Dan Weston 

Next by Date:  Re: [Haskellcafe] Re: could we get a Data instance for Data.Text.Text?, Neil Mitchell 
Previous by Thread:  Re: [Haskellcafe] foldl in terms of foldr, Dan Weston 
Next by Thread:  Re: [Haskellcafe] foldl in terms of foldr, Daniel Fischer 
Indexes:  [Date] [Thread] [Top] [All Lists] 