« Return to Thread: [scala] Conformance to bounds in higher-order type parameters

Re: [scala] Conformance to bounds in higher-order type parameters

by nikov :: Rate this Message:

Hi Andreas.

In Haskell higher-order type parameters are ubiquitous and are a
powerful way of abstraction. They were introduced at least 15 years
ago. You might be interested to read about Functor, Applicative,
Monad, MonadPlus, Foldable, Traversable. In OO world higher-order
type parameters are quite new. You might be interested in reading
Adriaan Moors' papers on them, for example "Safe Type-level
Abstraction in Scala" (http://fool08.kuis.kyoto-u.ac.jp/moors.pdf). In
a sense, they are even more powerful in Scala then in Haskell, because
they can be bounded.

Vladimir

On 6/18/09, andreas s. <andreas_scheinert@...> wrote:

>
> Hi Vladimir,
> I'm fairly new to functional programming and such concepts, I'm coming from
> a java background to scala. The higher Order type definitions look
> interesting! Could you give a small hint or direction where such would find
> their place in practice(IO, WEB, UI)? That would be nice.
> --
> View this message in context:
> http://www.nabble.com/-scala--Conformance-to-bounds-in-higher-order-type-parameters-tp24051875p24079963.html
> Sent from the Scala mailing list archive at Nabble.com.
>
>

« Return to Thread: [scala] Conformance to bounds in higher-order type parameters