juan_gandhi | (Reply)

From:

Prelude> first = \t -> t (\x y -> x)
Prelude> :t first
first :: ((t1 -> t2 -> t1) -> t) -> t

That is, if you don't use lambdas, you get your code, but with the corrected types :)

pa :: ((a->b->a)->c)->c

From:

Anonymous This account has disabled anonymous posting.

OpenID

Dreamwidth account

If you don't have an account you can create one now.

Subject

HTML doesn't work in the subject.

Formatting type

Message

Profile

Juan-Carlos Gandhi

No cut tags

Page generated Jul. 29th, 2025 02:59 pm