🚀 go-pugleaf

What does 'lazy evaluation' mean?  Is it the same thing as 'short-circuit evaluation?

An example of the latter:

x=0;
if ( (x==1) && ((1/x) == 2) )
{
   ...
}

If short-circuit evaluation is in effect, the expression '1/x' will never be
evaluated, since the && will return a false directly from 'x==1'.

Is -this- the same thing as 'lazy evaluation' in functional languages?  I suspect there's a difference...but what? A matter of degree?

My confusion arises from a kindred (opposite) idea, that of 'eager evaluation'.
If the example above were evaluated eagerly, '1/x' would yield a division-by-zero error.  And...I thought 'eager' was the opposite of 'lazy', in terms of evaluation methods.

Can someone clarify 'eager' vs. 'strict' vs. 'lazy' vs. 'short-circuit' 
evaluation for me?  Or tell me of a good reference (book/article/etc) on 
these things?

Thanks in advance.

Lou Glassy
icsu8209@caesar.cs.montana.edu