Building a Domain-Driven DSL with Expression Trees and Compile Time Guards in C#

Most people encounter expression trees for the first time through LINQ. They write a query like orders.Where(o => o.Amount > 1000) and discover that the compiler has turned their lambda into a tree of nodes representing parameters, constants, and bin...