[Haskell-cafe] Re: FW: Haskell

Janis Voigtlaender voigt at tcs.inf.tu-dresden.de
Wed Apr 2 05:01:38 EDT 2008

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
mailto:voigt at tcs.inf.tu-dresden.de

More information about the Haskell-Cafe mailing list