English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[off-topic] Survey or book on programming language structures
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-01-22 (21:59)
From: Markus Mottl <mottl@m...>
Subject: Re: [off-topic] Survey or book on programming language structures
On Mon, 22 Jan 2001, David Mentre wrote:
> I am more interested in a comparison of paradigms in a broader view (how
> adaptation is handled by functionnal and object-oriented styles for
> example) and a formalization (i.e. theorical presentation) of those
> paradigms in a common framework. 

Ok, so your question is mostly about software engineering (programming
in the large) rather than expressiveness on an algorithmic level. The
book is mostly concerned with the latter...

Since you seem to be more interested in high-level (formal) specification
of programs, you might find some things (for functional style = ML)
on this page (but no inter-language comparisons):


And then there is also Xavier's paper on "Objects and Classes vs. Modules
in OCaml".


- Markus

Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl