Fix-ing regular expressions

Fix-ing regular expressions

TL;DR: We add variables, let bindings, and explicit recursion via fixed points to classic regular...概要を表示 TL;DR: We add variables, let bindings, and explicit recursion via fixed points to classic regular expressions. It turns out that the resulting explicitly recursive, finitely described languages are well suited for analysis and introspection. It’s been almost a year since I touched the kleene library, and almost two years since I published it – a good time to write a little about regular expression

• Haskell
• プログラミング
• programming
• あとで読む