Options & Extensions #9
Description
There are a lot of features we would like to provide: reduction using eta-equivalence, numeric representation of Church numerals, recursive bindings, static typing etc.
Given they greatly influence the basic language, it is a great idea to make them opt-in via new :set command and opt-out via new :unset command. Proposed (and open for discussion) options:
:set +e/:unset +eto enable / disable reduction using eta-equivalence (see Reduce using eta-equivalence #11):set -XChurchNumerals/:unset -XChurchNumeralsto enable / disable "Church numerals" extension (see Pretty Church numerals #12):set -XRecursiveBindings/:unset -XRecursiveBindingsto enable / disable "Recursive bindings" extension (see Recursive bindings #13):set -XSimplyTyped/:unset -XSimplyTypedto enable / disable "Simply typed" extension (see Simply Typed LC #14)