You can do it pretty much verbatim, with dynamic dispatch using enums and lots of pattern matching. It gets a bit trickier when you are nesting environments fo

You can do it pretty much verbatim, with dynamic dispatch using enums and lots of pattern matching. It gets a bit trickier when you are nesting environments for closures and the like, but certainly nothing insurmountable without a few things from the standard library.