Static Verification: An External DSL Advantage

Last week I wrote a number of posts about web development “languages” developed as internal DSLs. An internal DSL is a set of libraries written on top of a host language that, through the use of meta programming facilities, looks a lot like a domain-specific language. I looked at Ruby on Rails as a primeContinue reading “Static Verification: An External DSL Advantage”