DISCLAIMER: In this post I explore an interesting but ill-advised use of Shen’s type system. Nothing in it should be taken as an indication of how to write good Shen.

Unlike many other eager, statically typed functional languages that emphasize computing with immutable values, Shen lacks native support for reference cells. Let’s add our own.