Monetary Economics Simulation : Stock-Flow Consistent Invariance, Monadic Style

Abstract : An agent-based simulation of a monetary economy as a whole should be stock-flow consistent [7]. We aim at providing a compile-time verification of the preservation of this invariant by the computation. We guarantee this invariant by wrapping the accounting operations in a monad. Our objective is to increase the confidence in the SFCness of an existing complex simulation with a minimal refactoring of code.

Pierre Boudes, Antoine Kaszczyc and Luc Pellissier, 11th Artificial Economics Conference, Sep 2015, Porto, Portugal.