Could this be implemented in Rust or Clojure?

Does Anglican kind of do this?