RE: Non-strictness vs. laziness (was RE: Sisal)

1999-09-24 Thread Frank A. Christoph
Bjorn Lisper wrote: > >Joe Fasel wrote: > >> Actually, I think we were originally thinking of laziness, rather > >> than nonstrictness, and weren't considering languages like Id as > >> part of our domain, but Arvind and Nikhil (quite correctly) convinced > >> us that the semantic distinction of s

Re: Non-strictness vs. laziness (was RE: Sisal)

1999-09-24 Thread Bjorn Lisper
>Joe Fasel wrote: >> Actually, I think we were originally thinking of laziness, rather >> than nonstrictness, and weren't considering languages like Id as >> part of our domain, but Arvind and Nikhil (quite correctly) convinced >> us that the semantic distinction of strictness versus nonstrictness

Re: Non-strictness vs. laziness (was RE: Sisal)

1999-09-24 Thread Joe Fasel
Frank Christoph wrote, | Ah, right. Someone mentioned just recently (I forget who---sorry) that | nothing in the Report forces a Haskell implementation to use call-by-need. I | guess this is a manifestation of the change of direction, from laziness to | non-strictness...? My point was meant to b