The Three Boxes System

The three box system that they've built is called essential logic, accidental state and control. It's an interesting idea because it lets you have a much less powerful language. The weaker the language the more simple it is to reason about. Sort of like how your database doesn't know about your code.