From: Thomas Walker Lynch Date: Fri, 16 Jan 2026 06:00:48 +0000 (+0000) Subject: doc X-Git-Url: https://git.reasoningtechnology.com/style/page.js?a=commitdiff_plain;h=ae0822a5ab370868492968a53b9eeedf828d5cec;p=Epimetheus%2F.git doc --- diff --git a/document/Epimetheus.html b/document/Epimetheus.html index 296c665..5661740 100644 --- a/document/Epimetheus.html +++ b/document/Epimetheus.html @@ -135,11 +135,11 @@

Distinctness Across Contexts

- If a symbol persists across contexts (such as across scopes or processes), it must remain distinct from all other symbols as it enters those new environments. + If a symbol persists across contexts (such as across scopes or processes), it must remain distinct from all other symbols in its new context.

- In this implementation, we meet this constraint by utilizing a global symbol instance factory and by explicitly disallowing a symbol from being employed outside the process of its creation. As a means of enforcement, there are no permitted methods to serialize a symbol to a string, nor to output one to a console or stream. + In this implementation, we meet this requirement by utilizing a global symbol instance factory and by explicitly disallowing a symbol from being employed outside the process of its creation. As a means of enforcement, there are no permitted methods to serialize a symbol to a string, nor to output one to a console or stream.

@@ -179,7 +179,7 @@

- The tape abstraction is particularly expressive in the Python context, as the language utilizes object references and permits lists to hold objects of any type. Once data within a container is modeled as a tape, structures such as lists, arrays, token streams, argument lists, and sequences all share the same abstract model. + The tape abstraction is particularly expressive in the Python context, as the language utilizes object references and permits lists to hold objects of any type. Once data within a container is modeled as a tape, structures such as lists, arrays, token streams, argument lists, sequences, and traversal paths through graphs, all share the same abstract model.

@@ -216,7 +216,7 @@

- Thus a function is more restricted than a tape of paths, and due to this restriction it is possible to adopt the following notation, where a destination is said to be determined by, a function of, the way: + Thus a function is more restricted than a tape of paths, and due to this restriction it is possible to adopt the following notation, where a destination is said to be determined by, i.e. be a function of, the way:

@@ -224,7 +224,7 @@

- That the same way always leads to the same destination fits our common experience. If we ever followed the same way twice and landed in a different destination we would think ourselves to be in a Sci-Fi movie. It is also intuitive to us that the function restrictions do not exclude the possibility that multiple ways can lead to the same destination. Because we often compute things that are related to our daily experience it is not surprising that this is a very common pattern. And this is not a coincidence, this is the reason functions are defined as they are. + That the same way always leads to the same destination fits our common experience. If a person followed the same way twice and landed in different destinations. that person might think himself/herself to be in a Sci-Fi movie. It is also intuitive to us that the function restrictions do not exclude the possibility that multiple ways can lead to the same destination. Because we often compute things that are related to our daily experience it is not surprising that this is a very common pattern. And this is not a coincidence, this is the reason functions are defined as they are.