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

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

by Adriaan Moors-2 :: Rate this Message:

Hi Andreas,

A more approachable introduction can be found in: http://www.cs.kuleuven.be/~adriaan/?q=genericshk

Or in my dissertation: http://hdl.handle.net/1979/2642 (the relevant chapter is an extended version of the above paper).

cheers

adriaan

On Thu, Jun 18, 2009 at 8:02 AM, Vladimir Reshetnikov <v.reshetnikov@...> wrote:

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.
>
>

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

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