[Haskell-beginners] Create new value for given type
ky3 at atamo.com
Sun Mar 10 21:48:33 CET 2013
On Mon, Mar 11, 2013 at 1:33 AM, Kim-Ee Yeoh <ky3 at atamo.com> wrote:
> class MyTheory a where
> someKindOfChoice :: a -> [a] -> [a]
Whoops, that should be [a] -> [a], or perhaps more usefully [a] -> a.
In a way, such a function constructively /proves/ that the type is
infinite. Of course, it has to satisfy a bunch of conditions. You can
sort of see how going down this path leads naturally to Coq and Agda.
More information about the Beginners