[Haskell-cafe] Re: FW: Haskell

[Janis Voigtlaender]

Loup Vaillant wrote:
> By "higher order types", I meant the type of runST (ST monad),
> or dpSwich (in yampa). I meant things like
> "(forall a, a-> b) -> a -> b"

That's then usually called "higher-rank polymorphic types", just in case
you need more keywords for literature search ;-)

-- 
Dr. Janis Voigtlaender
http://wwwtcs.inf.tu-dresden.de/~voigt/
mailto:voigt at tcs.inf.tu-dresden.de