Demonstrate Turing-completeness and consider making Turing-incomplete.
johanatan opened this issue · comments
Jonathan Leonard commented
Currently, as it stands, ::refinements
could include a cycle. e.g.,
{:one [:two [v-fn msg-fn]]
:two [:one [v-fn-2 msg-fn-2]]}
One could conceive of attaching state via meta
to both v-fn
and v-fn-2
to do arbitrary computation via a side channel.
We may want to have a check for such cycles and reject them as valid input.