Here is my favourite higher-order polymorphic function. It is based on the proof of Pierce’s law that I talked about earlier.
λf . f (λg . g (λa . f (λb . a))) : ((((A ⇒ B) ⇒ A) ⇒ A) ⇒ B) ⇒ B
I have no idea what this function does though.
Here is my favourite higher-order polymorphic function. It is based on the proof of Pierce’s law that I talked about earlier.
I have no idea what this function does though.