«некоторые» и «многие» функции из класса типов «Альтернативный»

some и many можно определить как:

some f = (:) <$> f <*> many f
many f = some f <|> pure []

Возможно, это поможет увидеть, как some будет написано с монадическим синтаксисом do:

some f = do
  x <- f
  xs <- many f
  return (x:xs)

Таким образом, some f запускает f один раз, затем "много" раз и констатирует результаты. many f запускается f "несколько" раз или "альтернативно" просто возвращает пустой список. Идея состоит в том, что они оба запускают f как можно чаще, пока он не "отказывается", собирая результаты в список. Разница в том, что some f терпит неудачу, если f терпит неудачу немедленно, в то время как many f завершается успешно и "возвращает" пустой список. Но то, что все это означает, точно зависит от того, как определяется <|>.

Это полезно только для разбора? Давайте посмотрим, что он делает для экземпляров в базе: Maybe, [] и STM.

Первый Maybe. Nothing означает сбой, поэтому some Nothing также завершается ошибкой и оценивается как Nothing, а many Nothing завершается успешно и оценивается как Just []. И some (Just ()), и many (Just ()) никогда не возвращаются, потому что Just () никогда не подводит! В некотором смысле они оцениваются как Just (repeat ()).

Для списков [] означает сбой, поэтому some [] оценивается как [] (нет ответов), а many [] оценивается как [[]] (есть один ответ, и это пустой список). Опять some [()] и many [()] не возвращаются. Расширяя экземпляры, some [()] означает fmap (():) (many [()]), а many [()] означает some [()] ++ [[]], поэтому можно сказать, что many [()] совпадает с tails (repeat ()).

Для STM сбой означает, что транзакцию необходимо повторить. Итак, some retry повторит попытку, а many retry просто вернет пустой список. some f и many f будут запускать f несколько раз, пока не повторится попытка. Я не уверен, что это полезная вещь, но я предполагаю, что это не так.

Итак, для Maybe, [] и STM many и some не кажутся такими уж полезными. Это полезно только в том случае, если аппликатив имеет какое-то состояние, которое увеличивает вероятность отказа при многократном выполнении одного и того же. Для синтаксических анализаторов это ввод, который уменьшается с каждым успешным совпадением.

Например. для анализа (см. раздел "Аппликативный анализ на примере").