Updated Hashing structure writ large (markdown)

Simon Brooke 2021-08-07 09:53:39 +01:00
parent b78c3d56e0
commit 5258b7328b

@ -12,7 +12,7 @@ is a key, and we pass a list
as a query, we ought to get the value to which the first instance of `'(foo bar ban)' was bound, even if the two instances are not the same instance. Which means we have to compute the hash value by exploring the whole structure, no matter how deep and convoluted it may be. as a query, we ought to get the value to which the first instance of `'(foo bar ban)' was bound, even if the two instances are not the same instance. Which means we have to compute the hash value by exploring the whole structure, no matter how deep and convoluted it may be.
## The cost of this ## The cost of this
The cost of this, in the [post scarcity software environment](https://github.com/simon-brooke/post-scarcity) is potentially enormous: is potentially a blocker which could bring the whole project down. The post-scarcity architecture as currently conceived allows for 2<sup>64</sup> cons cells. Take the most obvious example of a wholly linear, non-branching structure, a string: it would be perverse, but possible to have a single string. The cost of this, in the [post scarcity software environment](https://github.com/simon-brooke/post-scarcity) is potentially enormous: is potentially a blocker which could bring the whole project down. The post-scarcity architecture as currently conceived allows for 2<sup>64</sup> cons cells. Take the most obvious example of a wholly linear, non-branching structure, a string: it would be perverse, but possible to have a single string.