Andy Melnikov (nponeccop) wrote,
Andy Melnikov
nponeccop

О лени

Придумал дежурную фразу для употребления в объяснениях ленивости:

The term "laziness" has a precise mathematical meaning which you can learn from books on call by need lambda calculus. The layman definition "nothing is evaluated until the result is needed elsewhere" is just a metaphor for newbies. It's a simplification so in complex situations like this one understanding of the full theory is required to explain what's going on.
Tags: fp, programming
Subscribe

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 7 comments