diff options
| author | Marvin Borner | 2024-02-16 16:46:45 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-02-16 16:56:55 +0100 |
| commit | f3dc81930ebbc6727f9a796f71dceffbcb753752 (patch) | |
| tree | 01dc563ac42b5d45091a4adc180e016078d38091 /docs/wiki_src/coding/meta-programming.md | |
| parent | a852b3e28f7f080c1912e9a7c07cb85636bce89a (diff) | |
Added strong Rosenberg encoding for meta encoding
Originally got the idea from @sgoguen (YC) and was further inspired by
@hbr from one of their blog posts[1].
The current encoding has some holes and bad performance, so I might
switch to a different one in the future.
The wiki and metaprogramming blog post have been updated accordingly.
[1] https://hbr.github.io/Lambda-Calculus/computability/text.html
Diffstat (limited to 'docs/wiki_src/coding/meta-programming.md')
| -rw-r--r-- | docs/wiki_src/coding/meta-programming.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/wiki_src/coding/meta-programming.md b/docs/wiki_src/coding/meta-programming.md index 334e285..716cc7a 100644 --- a/docs/wiki_src/coding/meta-programming.md +++ b/docs/wiki_src/coding/meta-programming.md @@ -74,4 +74,12 @@ Examples: :test (map inc `0) (`1) :test (map (map inc) `[0]) (`[1]) :test (map swap `[0 1]) (`[1 0]) + +# encoding terms as numbers +:test ((encode `(0 0)) =? (+3)) (true) +:test ((encode `[0]) =? (+8)) (true) + +# decoding numbers to terms +:test (decode (+3)) (`(0 0)) +:test (decode (+8)) (`[0]) ``` |