Look I really don't want to think about the efficiency of state monads in OCaml
@ionchy If you need efficiency, genuine state is always available. Also record fields can be marked mutable
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.