[Haskell-cafe] Preventing sharing

[Kim-Ee Yeoh]

On Mon, Dec 21, 2015 at 10:50 PM, Henk-Jan van Tuyl <hjgtuyl at chello.nl>
wrote:

In paper "Why Functional Programming Matters"[0], John Hughes shows how
> lazy functional programming can be used for better modularity. A more
> precise title for the paper would be "Why Lazy Functional Programming
> Matters".


This is Oleg. He's perfectly aware of the paper.

The point he's making is not that laziness is bad, but that it shouldn't be
the default.

And if you note the recent work on -XStrict, there are good arguments about
bolting laziness on top of strictness and not doing a nasty -- and thus
necessarily heroic -- shoehorn in the reverse direction. See:

https://www.reddit.com/r/programming/comments/3sux1d/strict_haskell_xstrict_has_landed/

However, the record remains that Oleg has offered little by way of elegant
bolting. His lazy programs based on a strict language tend to be cluttered
with lazy and force functions that uglify previously elegant code.

His arguments would persuade many more folks if, for instance, he could
offer lazy-over-strict translations of Doug McIlroy's power serious
one-liners with no loss in elegance:

http://www.cs.dartmouth.edu/~doug/powser.html

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151221/8b0c10ed/attachment.html>