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
Estimating the size of the ocaml community
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-02-14 (18:50)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] The boon of static type checking
On Tue, 2005-02-15 at 04:29, Martin Berger wrote:

> as an aside, are there any good program logics for languages with macro-facilities like
> lisp-dialects?

Aren't macros a way to do lazy evaluation in an eager language?
EG in Ocaml a 'macro':

  cond (c,t,f) --> match c with | true ->  t | false -> f

maps the eager functional syntax onto a lazily evaluated syntax,
strangely doing so by hyper-active evaluation?

John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net