Skip to content

Commit

Permalink
fix(site): remove the description of dataization
Browse files Browse the repository at this point in the history
deemp committed Dec 16, 2024
1 parent eb8ca60 commit 5e9286b
Showing 1 changed file with 0 additions and 19 deletions.
19 changes: 0 additions & 19 deletions site/docs/src/eo-phi-normalizer/dataize.md
Original file line number Diff line number Diff line change
@@ -1,24 +1,5 @@
# `eo-phi-normalizer dataize`

Dataization is the process through which data is extracted from a given program/object.

## Dataization process

To dataize a given program written in \\( \varphi \\)-calculus, the first step is to normalize it according to the process outlined in [eo-phi-normalizer rewrite](./rewrite.md) docs.
Then, a single step of dataization is performed according to the following rules in order of priority:

1. If the object is a formation that contains a \\( \Delta \\)-binding and no empty bindings, the bytes attached to it are returned
2. If the object is a formation that contains a \\( \lambda \\)-binding and no empty bindings, the attached value is evaluated as a known built-in function and its result is returned. Currently, the following functions are supported:
- `Times`
- `Plus`
- `Package`: the existence of this \\( \lambda \\)-binding is interpreted to mean that all its sibling attributes should be dataized in-place.
3. If the object is a formation that contains a \\( \phi \\)-binding and no empty bindings, the result becomes the dataization of its attached object
4. If the object is an application, the object on which the bindings are applied is dataized and then the application is reapplied on its result. In other words, \\( \mathbb{D}\left(obj(a \mapsto b, ...)\right) = \mathbb{D}\left(obj\right)(a \mapsto b, ...) \\)
5. If the object is a dispatch, the object on which the attribute is being dispatched is dataized and then the attribute is dispatched on its result. In other words, \\( \mathbb{D}\left(obj.\alpha\right) = \mathbb{D}\left(obj\right).\alpha \\)

The full dataization process is achieved by recursively normalizing and dataizing according to the rules above until bytes are reached or the object does not change (in which case the dataization is considered to have failed).
Note that dataization assumes that the given set of normalization rules are already proven to be confluent and does not verify claim.

## Environment

{{#include ../common/celsius.md}}

0 comments on commit 5e9286b

Please sign in to comment.