Решение на монадических парсерах (Pidgin) — хорошее.

Увы, state machines редко известны даже вне парсинга. В частности потому что этот топик вне университетов не очень-то и преподается.