Lang. (was Re: Alternative hierarchy proposal)
Marcin 'Qrczak' Kowalczyk
qrczak@knm.org.pl
24 Mar 2001 08:45:53 GMT
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