p
вы просто не привыкли
Жрать говно? Да
Size: a a a
2020 August 01
SP
ну питоняш например пугает раст
H
они просто не привыкли
H
а мы уже преисполнились в своём сознании
H
а те кто выше — переборщили
H
всё просто
SP
ну вот на следущей итерации вы преисполнитесь так что это будет ок
p
Там у тебя вообще выше
(i + 1,
if ...
then условие на три строчки
else условие на три строчки)
(i + 1,
if ...
then условие на три строчки
else условие на три строчки)
AZ
instance Applicative PrsEP where
pure a = PrsEP $ \i s -> (i, Right (a, s))
(PrsEP pf) <*> (PrsEP px) = PrsEP fun where
fun i s = fixFoo $ do
let (i', f) = pf i s
(f, s') <- first (\s -> (i', s)) f
let (i'', x) = px i' s'
(x, s'') <- first (\s -> (i'', s)) x
Right (i'', f x, s'')
where
fixFoo (Left (i, s)) = (i, Left s)
fixFoo (Right (i, a, s)) = (i, Right (a, s))
pure a = PrsEP $ \i s -> (i, Right (a, s))
(PrsEP pf) <*> (PrsEP px) = PrsEP fun where
fun i s = fixFoo $ do
let (i', f) = pf i s
(f, s') <- first (\s -> (i', s)) f
let (i'', x) = px i' s'
(x, s'') <- first (\s -> (i'', s)) x
Right (i'', f x, s'')
where
fixFoo (Left (i, s)) = (i, Left s)
fixFoo (Right (i, a, s)) = (i, Right (a, s))
что тут нечитаемого?
AZ
попробовать попарсить одним парсером
p
что тут нечитаемого?
Что такое i что такое s
AZ
потом вторым с того места где первый кончил
H
instance Applicative PrsEP where
pure a = PrsEP $ \i s -> (i, Right (a, s))
(PrsEP pf) <*> (PrsEP px) = PrsEP fun where
fun i s = fixFoo $ do
let (i', f) = pf i s
(f, s') <- first (\s -> (i', s)) f
let (i'', x) = px i' s'
(x, s'') <- first (\s -> (i'', s)) x
Right (i'', f x, s'')
where
fixFoo (Left (i, s)) = (i, Left s)
fixFoo (Right (i, a, s)) = (i, Right (a, s))
pure a = PrsEP $ \i s -> (i, Right (a, s))
(PrsEP pf) <*> (PrsEP px) = PrsEP fun where
fun i s = fixFoo $ do
let (i', f) = pf i s
(f, s') <- first (\s -> (i', s)) f
let (i'', x) = px i' s'
(x, s'') <- first (\s -> (i'', s)) x
Right (i'', f x, s'')
where
fixFoo (Left (i, s)) = (i, Left s)
fixFoo (Right (i, a, s)) = (i, Right (a, s))
fixFoo ещё топ
SP
но ваще парни, хотел показать КОД БОГОВ https://gist.github.com/fenderrex/b970b63378667d680308dbee247deed0
AZ
i - позиция, s - строка которую парсим
AZ
fixFoo ещё топ
ну был бы идрис я бы дырку нормально назвал
p
i - позиция, s - строка которую парсим
Вот этого в коде нет
AZ
Вот этого в коде нет
всё понятно
AZ
я код писал 8 месяцев назад
AZ
сейчас без труда могу прочитать что анписано