|
|
|
|
|
|
by harveywi
1206 days ago
|
|
|
Based on Conal Elliott's new formulation of two dual parsing implementations [1] using inductive regular expressions and coinductive tries, where the former corresponds to symbolic differentiation and the latter corresponds to automatic differentation, the dual statment of "parse, don't validate" might be: "Do or do not. There is no trie." [1] http://conal.net/papers/language-derivatives/ |
|
|