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