是什么 some 和 many 在 Control.Applicative.Alternative 好吗?如果我写的东西像 some $ Just 42,它似乎导致无限递归,这似乎不是很有用......
是什么 some 和 many 在 Control.Applicative.Alternative 好吗?如果我写的东西像 some $ Just 42,它似乎导致无限递归,这似乎不是很有用......
当用作解析器组合器时,它们是有意义的。 some 意味着解析器应尽可能频繁地应用,但至少一次。 many 类似,但不允许解析。的情况下 Maybe, Just ... 从来没有“失败”,因此你的解析器循环。