I think you are muddling the concepts of infinity, as in the digits of pi; and undecidability

Perhaps, but in practice, aren't there cases where the difference doesn't actually matter? If we don't know whether a lazy function will halt for all possible inputs, wouldn't we just give it the input we've got and let it run until either it does halt or the user takes some action to cause us to stop it (either by way of the program's own interface or an OS process management facility)?

Don't get me wrong -- I think lazy evaluation is a great idea. But it's not going to solve any unsolveable problems, just golf down some of the solveable ones.

Right, I agree with that entirely. This is what I meant when I said that lazy eval doesn't create GLooP (a theoretical more-than-Turing language), but nonetheless can be terribly convenient.

(Hmmm... OTOH, if we wanted to let something run in the background, we'd probably use fork rather than lazy. Still, I think lazy will be useful.)

Sanity? Oh, yeah, I've got all kinds of sanity. In fact, I've developed whole new kinds of sanity. Why, I've got so much sanity it's driving me crazy.

In reply to Re: BlooP and FlooP and GlooP: Turing Equivalence, Lazy Evaluation, and Perl6 by jonadab
in thread BlooP and FlooP and GlooP: Turing Equivalence, Lazy Evaluation, and Perl6 by jonadab

Title:
Use:  <p> text here (a paragraph) </p>
and:  <code> code here </code>
to format your post, it's "PerlMonks-approved HTML":


  • Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!
  • Titles consisting of a single word are discouraged, and in most cases are disallowed outright.
  • Read Where should I post X? if you're not absolutely sure you're posting in the right place.
  • Please read these before you post! —
  • Posts may use any of the Perl Monks Approved HTML tags:
    a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, details, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, summary, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr
  • You may need to use entities for some characters, as follows. (Exception: Within code tags, you can put the characters literally.)
            For:     Use:
    & &amp;
    < &lt;
    > &gt;
    [ &#91;
    ] &#93;
  • Link using PerlMonks shortcuts! What shortcuts can I use for linking?
  • See Writeup Formatting Tips and other pages linked from there for more info.