obap.f(x) = ob.e(x) when x is not a symbolic form, =x when x is a symbolic form.
This primitive operation provides a direct way to determine if x is a symbolic form and also to simplify substitution of symbolic forms in abstracted applicative-operation procedures.
It seems peculiar although it is a completely-harmonious hack for preserving the principle behind the introduction of symbolic forms as invariant with respect to application.
-
There must be addition of of primitive obap.F in obaptheory.txt Obap4, along with introduction of the above functional cases for obap.ap(obap.F, x) .
-
The definition of λ-Abstraction must be adjusted to exploit use of obap.F in place of obap.E in some abstraction operations.
-
This may need to be extended into work on combinators, etc.
There is also the prospect of this working for other kinds of "elementary" substitutions, such as with procs and forms, since they are individuals and passed through, whether as operators or other elements.
obap.f(x) = ob.e(x) when x is not a symbolic form, =x when x is a symbolic form.
This primitive operation provides a direct way to determine if x is a symbolic form and also to simplify substitution of symbolic forms in abstracted applicative-operation procedures.
It seems peculiar although it is a completely-harmonious hack for preserving the principle behind the introduction of symbolic forms as invariant with respect to application.
There must be addition of of primitive
obap.Fin obaptheory.txt Obap4, along with introduction of the above functional cases for obap.ap(obap.F, x) .The definition of λ-Abstraction must be adjusted to exploit use of
obap.Fin place ofobap.Ein some abstraction operations.This may need to be extended into work on combinators, etc.
There is also the prospect of this working for other kinds of "elementary" substitutions, such as with procs and forms, since they are individuals and passed through, whether as operators or other elements.