Pure languages like haskell might be the closest thing at the moment. In haskell you embed domain specific languages when you require side effects: class

Pure languages like haskell might be the closest thing at the moment. In haskell you embed domain specific languages when you require side effects: class MonadState s m where get :: m s put :: s -> m () This is like an interface specifying the basics of all stateful computations. You can use different implementations for production and testing without changing any code so mocking is built into everything.