AZ
а если я распарсил неправильно? Или неправильно распарсить нереально?
у тебя будет ошибка парсинга)
Size: a a a
2020 March 25
AZ
что ты делаешь если инт не распарсился?
S
рантаймовая? Ну с интом понятна, там какой-нибудь Option возвращается
p
то есть если я в аргумент функции принимаю текст, каждый третий символ которого '9', и проверяю выполнение этого условия для пользовательского ввода неправильно, то об этом меня может предупредить верификатор?
Да, тебе нужно будет доказать примерно следующее:
(Не знаю как записать на ML)
text = char[] where char[i] = '9' where i = 2, 5, 8...(Не знаю как записать на ML)
AZ
рантаймовая? Ну с интом понятна, там какой-нибудь Option возвращается
ну вот у тебя будет
Option<TextWithEveryThirdCharIs9> точно так жеS
Знакомые питонисты говорят, что нужно отучится вообще думать о типах, чтобы программировать на питоне
Знакомые питонисты говорят, что нужно отучится вообще думать , чтобы программировать на питоне
S
Alexander Krivitskiy
Первый решает проблему пространства имён. Вертели эти копродукты в комитете на одном месте. Второй да, пытается что-то решить, но так себе выходит.
Первый решает проблему пространства имён. Вертели эту теорию типов в комитете на одном месте. Второй да, пытается что-то решить, но так себе выходит.
AZ
кто linq2db продавал
AZ
@t91x0 не ты?
AK
slidingSpan :: (a -> a -> Bool) -> [a] -> ([a], [a])
slidingSpan _ [] = ([], [])
slidingSpan p xs = impl p [] xs
where
impl _ res [] = (reverse res, [])
impl p [] (x:xs) = impl p [x] xs
impl p res@(r:_) lst@(x:xs)
| r `p` x = impl p (x : res) xs
| otherwise = (reverse res, lst)
S
а idris 2 ждать или не ждать?
AK
Как можно без реверса переписать?
G
а idris 2 ждать или не ждать?
Ждать
AZ
Alexander Krivitskiy
slidingSpan :: (a -> a -> Bool) -> [a] -> ([a], [a])
slidingSpan _ [] = ([], [])
slidingSpan p xs = impl p [] xs
where
impl _ res [] = (reverse res, [])
impl p [] (x:xs) = impl p [x] xs
impl p res@(r:_) lst@(x:xs)
| r `p` x = impl p (x : res) xs
| otherwise = (reverse res, lst)
а что ты хочешь сделать?
S
Ждать
а вот прямщас пользоваться можно?
AZ
а вот прямщас пользоваться можно?
чтобы принципы понимать можно и щас
G
а вот прямщас пользоваться можно?
Клонируй репозиторий, пользуйся
AZ
для меня было открытием что парсинг это не только из строки в структуру)
AZ
parse don't validate
AZ
одна статья