Re: is iterate a deterministic operation ?



Date view Thread view Subject view Author view

Perdita Stevens (Perdita.Stevens@dcs.ed.ac.uk)
Fri, 25 Feb 2000 16:13:50 +0000 (GMT)


Following up Gianna's point, unless I'm misunderstanding something (I realise I'm not sure of a syntactic point in the below -- whether it's compulsory to give the type of element -- but as far as I can tell it's OK bar that), consider: mySet -> iterate ( element; mySequence : Sequence = Sequence{} | mySequence -> append (element) ) Isn't it true that the sequences which could be returned by this are exactly the sequences that could be returned by asSequence, so we could regard asSequence as syntactic sugar for this? In which case, removing asSequence from the language would achieve nothing -- the idea that you can get sequences from sets is more deeply embedded. Perdita -- Dr. Perdita Stevens Division of Informatics, University of Edinburgh www.dcs.ed.ac.uk/home/pxs Fax: +44 131 667 7209


Date view Thread view Subject view Author view