See here http://www.grammaticalframework.org/
GF is a domain-specific programming language partially inspired by Haskell and focused on natural language generation tasks - which makes it an obvious early candidate for a programming language to be integrated in Wikifunctions in order to get us swiftly moving to the tasks necessary for Abstract Wikipedia.