Lang. (was Re: Alternative hierarchy proposal)

[Marcin 'Qrczak' Kowalczyk]

Tue, 13 Mar 2001 15:00:27 +0000, Malcolm Wallace <Malcolm.Wallace@cs.york.ac.uk> pisze:

>     Control
>         Monad
>         Exception
>         Generics
>         Dynamic
>         Unique
>         Concurrent
>         Parallel

IMHO Monad (these are several modules), Exception, Concurrent and
Parallel indeed are all about the same thing: the order of computation,
program flow or control flow, imperativeness. If not Control, maybe
Execution or Computation.

Unique can perhaps be there too. This is (ab)using IO as a state monad.

Generics and Dynamic don't fit.

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK