Final Variables are those which cannot be modified once ASSIGNED. When they are in an earlier STAGE where it is possible to make any FORM of changes, they are called effectively variable. The value is yet to be assigned to them. The outcome is required without restriction in many cases and that is the REASON to use effective variables. They can also play a role in testing. If final variables are to be EQUIPPED with several additional features, this can be done through effective Variables. Most local expressions in Lambda are final.

Final Variables are those which cannot be modified once assigned. When they are in an earlier stage where it is possible to make any form of changes, they are called effectively variable. The value is yet to be assigned to them. The outcome is required without restriction in many cases and that is the reason to use effective variables. They can also play a role in testing. If final variables are to be equipped with several additional features, this can be done through effective Variables. Most local expressions in Lambda are final.