In such case I highly recommend Noether: Symmetry in Programming Language Design presentation by Daira Hopwood: https://www.infoq.com/presentations/noether http

In such case I highly recommend Noether: Symmetry in Programming Language Design presentation by Daira Hopwood: https://www.infoq.com/presentations/noether https://www.infoq.com/presentations/noether. It explores the idea by describing a possible stack of sublanguages ranked from simple and easy to reason about to complex and robust.