[Haskell-cafe] Aren't type system extensions fun? [Further
ryani.spam at gmail.com
Tue May 27 19:01:35 EDT 2008
On 5/27/08, Darrin Thompson <darrinth at gmail.com> wrote:
> On Tue, May 27, 2008 at 3:40 PM, Kim-Ee Yeoh <a.biurvOir4 at asuhan.com> wrote:
> > What we want is the callEE to choose x_t since callEE needs to
> > instantiate x_t to Char and Bool. What we want is
> > (x_t -> x -> x) -> (Char, Bool).
> > But that's just
> > (forall x. x -> x) -> (Char, Bool).
> Nice. That's the first time any of this really made sense to me. Is it
> possible to construct valid argument for that function?
Yes, it's easy, especially since there is only one total function of
that type: id
More information about the Haskell-Cafe