True, but I think that's why he argues for a strict language which controls side effects via monads, as Haskell does.
On 9 July 2014 07:18, Magnus Therning <mag...@therning.org> wrote: > On Tue, Jul 08, 2014 at 08:39:30PM +0200, Colin Fleming wrote: > > I searched for this as well, and found this: > > http://www.cs.nott.ac.uk/~gmh/appsem-slides/peytonjones.ppt > > > > "Purity is more important than, and quite independent of, laziness" > > > > and > > > > "The next ML will be pure, with effects only via monads. The next > Haskell > > will be strict, but still pure." > > In the same presentation he also says that laziness has forced Haskell > to stay pure, and that > > "Every call-by-value language has given into the siren call of side > effects." > > So even if they are independent on the technical level one could say > that they are dependent on a design/social level. > > /M > > -- > Magnus Therning OpenPGP: 0xAB4DFBA4 > email: mag...@therning.org jabber: mag...@therning.org > twitter: magthe http://therning.org/magnus > > Most software today is very much like an Egyptian pyramid with > millions of bricks piled on top of each other, with no structural > integrity, but just done by brute force and thousands of slaves. > -- Alan Kay > -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
