MP
типа есть урл, доступный через ipv4, но не через v6, а DNS первым возвращает v6 и все валится на тайм-ауте
Size: a a a
2021 June 18
SM
Всем привет! У кого-нибудь есть на примете нетривиальные open-source проекты, использующие polysemy или другие системы эффектов? Про https://github.com/github/semantic знаю
L
немного некропост, но таки нет. монадические парсеры эквивалентны рекурсивному спуску насколько я могу судить. рекурсивный спуск -- это не LL(k) и не LL(*). Можно попробовать сказать что рекурсивный спуск эквивалентен LL(∞), но это на мой вкус тоже не совсем корректно, потому что на самом деле не эквивалентен, ибо в рекурсивном спуске в разборе нетерминалов может быть произвольная хрень, в отличие от LL(∞).
[
А @kanashimia говорил, что это LL
L
Вопрос терминологии конечно. Но обычно под LL конкретную вещь подразумевают, а не любой разбор сверху-вниз слева-направо. В книге с драконом описан алгоритм для LL(k) (ну точнее там для LL(1), но LL(k) это очевидное расширение для любого фиксированного k). Рекурсивный спуск или монадический парсер -- строго более мощные.
N
Да
N
Хотя разве LL(*) можно парсить без возврата?
NI
Вроде бы, в монадических парсерах реализуемо GLL?
NI
Но не видел, чтоб кто-то реализовал.
L
В недетерминированные парсеры я не особо умею, так что без внятных комментариев. Алгоритм GLL читал, но дело было давно. Навскидку -- и рекурсивным спуском разбор GLL должно быть можно сделать, просто возвращать лес вместо дерева. Но даже если ограничиться детерминированными грамматиками, монады/рекурсия строго мощнее чем LL включая LL(*).
NI
И правда... Надо посмотреть точнее, что там говорили про реализацию GLL.