Message-Id: <199303191454.AA03885@givry.inria.fr>
From: Francis Dupont <dupont@givry>
To: cr@dcs.ed.ac.uk
Subject: Re: streams
In-Reply-To: Your message of Thu, 18 Mar 1993 22:28:19 GMT.
<8280.9303182228@damsay.dcs.ed.ac.uk>
Date: Fri, 19 Mar 1993 15:54:39 +0100
A propos de streams (flux dans le Val de Loire), en Lazy CAML c'est
un type liste sans contructeur [] (appele aussi 'Nil) et avec un
constructeur :: (appele aussi 'Cons) lazy (paresseux).
Un exemple figure dans ma these dans la section sur les applications
de l'evaluation paresseuse, en haut de la page 53:
type 'a stream = { lazy Hd : 'a ; lazy Tl : 'a stream };;
(PS: comme il n'y a qu'un seul constructeur on ne met pas de type somme).
(PS: une variante consiste a ne rendre que Tl paresseux).
Les valeurs de ce type sont toujours infinies et necessitent donc
une evaluation paresseux (implicite ou explicite, cad codee avec des fonctions)