Anyone worked with $vau calculi?

Community
1

Pretty cool concept related to Lisp and fexpr. In this language, lambda itself becomes a macro:

($define! $lambda
  ($vau (ptree . body) static-env
    (wrap (eval (list* $vau ptree #ignore body)
      static-env))))

PDF of PhD dissertation: https://klisp.org/wp-content/uploads/2023/07/jshutt.pdf

Collection of current implementations (pretty old): The Axis of Eval: The Kernel Underground

No implementation in OCaml yet tho :wink:

1 Like