Roughly speaking, this thesis addresses the question: How might we provide DSLs that are fast and safe?