[email protected]
[Top] [All Lists]

Re: [Haskell-cafe] foldl in terms of foldr

Subject: Re: [Haskell-cafe] 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) -> c
(what type would (g id) be?
The types are isomorphic. They both have the same extension. Both
types are empty.
How do you make a function that returns an ununtyped value?  You can't.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

<Prev in Thread] Current Thread [Next in Thread>