I've been thinking about the issue of purity and speculation lately, and from what little I have read, it looks like the presence of bottom hiding inside a lazy value is a huge issue. <div><br></div><div>How "natural" is it for bottoms to exist? If one were to change Haskell and declare that any haskell value can be speculated upon, what ramifications does this have?</div><div><br></div><div>Is it totally broken? Is it "correct" but makes programming unpleasant? What's the catch? </div><div><br></div><div>Thanks,</div><div>Siddharth </div><div dir="ltr">-- <br></div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Sending this from my phone, please excuse any typos!</div></div>