search

essential-contributions / essential-base

Core items shared by both the intent language and protocol.
https://essential.builders
Apache License 2.0
4 stars 2 forks source link

feat: add predicate exists op #186

Closed freesig closed 1 week ago

freesig commented 2 weeks ago

Note that the dec vars have to be encoded with lengths before hashing them to distinguish between [[0], [1, 2]] and [[0, 1], [2]]. I also added a LazyCache for the hashing so that if this op is not used the cost isn't paid but if it is it's only computed once.

freesig commented 1 week ago

I imagine this will be the main blocker for removing transient data from the protocol and language

Transient data already has this problem. You have to know about the full interface in order to use it. But yeh we should. Look into how to make it possible to do partial args somehow