You may have encountered the JavaScript ternary expression before but always regarded it as something special and not part of the whole logic of the language but seen in the light of the way AND and OR are implemented it makes a lot more sense. The ternary expression is just another example of active logic. That is:

AIIB returns the second expression if A is false

A&&B returns the second expression if A is true

A?B:C returns B if A is true and C if A is false

In terms of a truth table this too is just a logical function but one with three inputs:

A

B

C

A?B:C

F

F

F

F

F

F

T

T

F

T

F

F

F

T

T

T

T

F

F

F

T

F

T

F

T

T

F

T

T

T

T

T

In this case it is the "active" interpretation of the logic that makes more sense than the "passive" truth table.

We have already noted that the AND && and OR || operators are the equivalent of if statements. That is:

result=A&&B;

and

result=A||B;

are the same as

if(A) { result=B }else{ result=A }

and

if(A) { result=A }else{ result=B }

It is interesting to notice that the ternary expression is also the equivalent of an if..else statement. That is:

result=A?B:C

is the same as

if(A) { result=B

}else{ result=C };

This also means that the if and the if..else statements are just logical functions with the truth table given earlier. This is not the way we usually think about them.

Active logic and lazy evaluation make a great deal of sense out of some aspects of JavaScript that might otherwise look strange and arbitrary. JavaScript isn't the only language that has a ternary operator and understanding it in terms of active logic makes it seem much more natural.

Attempts to impose type on JavaScript just don't seem to work unless you turn JavaScript into a completely different language. We have already embarked on a consideration of how to live without t [ ... ]

JavaScript is a subtle and sophisticated language that deserves to be treated in its own right and not as a poor copy of other object-oriented languages. In the first of two explorations of how to liv [ ... ]