[Haskell-cafe] Termination of substitution

Taral taralx at gmail.com
Wed Mar 12 17:30:41 EDT 2008


On 3/12/08, Neil Mitchell <ndmitchell at gmail.com> wrote:
>  However, I don't believe this expression is type safe in Haskell.

Using higher-order polymorphism:

f (x :: forall a. a -> a) = x x

-- 
Taral <taralx at gmail.com>
"Please let me know if there's any further trouble I can give you."
    -- Unknown


More information about the Haskell-Cafe mailing list