SP
Size: a a a
2020 August 01
H
Dispatcher
H
Storage
p
@hirrolot как назывались каналы в том пейпере про сессионные типы в расте? Chan?
H
@hirrolot как назывались каналы в том пейпере про сессионные типы в расте? Chan?
чан))
H
да
AZ
Глянул на объявление все ещё не понял
newtype PrsEP a = PrsEP { runPrsEP :: Int -> String -> (Int, Either String (a, String)) }
Парсер принимает позицию, строку и возвращает новую позицию и успех/неуспехH
@hirrolot как назывались каналы в том пейпере про сессионные типы в расте? Chan?
Ещё Cli и Srv
p
Ещё Cli и Srv
Во, да
p
newtype PrsEP a = PrsEP { runPrsEP :: Int -> String -> (Int, Either String (a, String)) }
Парсер принимает позицию, строку и возвращает новую позицию и успех/неуспехEP это кто
V
newtype PrsEP a = PrsEP { runPrsEP :: Int -> String -> (Int, Either String (a, String)) }
Парсер принимает позицию, строку и возвращает новую позицию и успех/неуспехЧто такое EP
H
что за EP
SP
придумал слово parsema
AD
ЕДИНАЯ РОССИЯ
H
ЕДИНАЯ РОССИЯ
во
H
точняк
AZ
EP это кто
E - с поддержкой ошибок Either
P - с поддержкой парсинга с позции P
P - с поддержкой парсинга с позции P
p
E - с поддержкой ошибок Either
P - с поддержкой парсинга с позции P
P - с поддержкой парсинга с позции P
Вот нельзя нормально назват
H
E - с поддержкой ошибок Either
P - с поддержкой парсинга с позции P
P - с поддержкой парсинга с позции P
напоминает си-стайл именования когда слова кодируют
AZ
