Date Added: Jul 2010
The authors describe a language-centric approach to solving the complex, low-level, and error-prone nature of network control. Specifically, they have designed a domain-specific language called Nettle, embedded in Haskell, that allows programming OpenFlow networks in an elegant, declarative style. Nettle is designed in layers to accommodate a family of DSLs targeted for specific network applications. The primary core of Nettle is based on the principles of Functional Reactive Programming (FRP). Aside from its useful signal abstraction, FRP facilitates the integration of components written in different higher-level DSLs. They demonstrate the methodology by writing several non-trivial OpenFlow controllers.