Haskell规则:Haskell规则是一种特定于域的嵌入式语言,允许将语义规则表示为Haskell函数