说明:常规(WIP)
用于在Haskell中表示常规语言(确定性有限自动机,非确定性有限自动机,正则表达式等)的类型安全形式主义。
例子
这是Dizz FizzBuzz的一个小示例:
-- A DFA which accepts numbers (as a string of digits) only when
-- they are evenly divisible by 5.
by5 ∷ DFA Bool Fin ₁₀
by5 = DFA δ q₀ f
where
-- The <weixin_42108948> 上传 | 大小:98kb