Piffle has been announced. It is a language for writing network packet filters, with a compiler implemented in Haskell.