You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
That the combinators leave scripts intact and they are only applied as-is if applied at all. I what allows the emergence of simple types.
This needs to be explained in combinators.txt and it also leads to the interesting case of when scripts are acted on as data rather than used in their interpretation-preserving nature as applicative operations on obs and representations of other structures in Ob.
Transformation of scripts in other ways is a different matter and we need to bring that under scrutiny without breaking our heads on it.
The text was updated successfully, but these errors were encountered:
orcmid
added
task
An effort that needs to be identified and then carried out, staged as needed
documentation
related to or providing documentation
labels
Aug 18, 2023
It is somewhat the case that this applies to the Combinator Arithmetic structure, ‹ca›, except that extensional equality is challenging.
It is clearly the case that the oMiser scripts in the computational interpretation do preserve intended representations of types insofar as the application of ^cK, ^cI, and ^cS, etc., simply preserve obs supplied as operands and themselves do not manipulate their operands.
That the combinators leave scripts intact and they are only applied as-is if applied at all. I what allows the emergence of simple types.
This needs to be explained in
combinators.txt
and it also leads to the interesting case of when scripts are acted on as data rather than used in their interpretation-preserving nature as applicative operations on obs and representations of other structures in Ob.Transformation of scripts in other ways is a different matter and we need to bring that under scrutiny without breaking our heads on it.
The text was updated successfully, but these errors were encountered: