И
если говорить про встроенные функции то почему не splitOn?
Size: a a a
2021 December 11
AP
Это не встроенная функция
AP
Она не из пакета base. А если мы про пакеты начнём говорить, то тут уже и до линз можно докатиться.
И
ну она ему все равно доступна
И
но ок
AP
Нужно знать стандартную библиотеку. В любом языке
И
через break тогда хороший совет, но не бифункторы и апликативы
AP
Это всё тоже стандартная библиотека. И аппликативы — ещё и более популярная штука, чем break. Если человеку будет сложно, но интересно — он спросит.
AP
Опять же, я специально сначала привёл решение простое. Потом его же переписал на стандартных функциях.
AP
Здесь уже можно проводить параллели, прочитать про что-то. Спросить, если непонятно :)
AP
(А не послал делать на линзах, например, как кое-кто выше. Ладно хоть за рекурсивными схемами не отправили, как раньше бывало — "Да это же препроморфизм, давай-ка покажу!")
И
просто иногда замечаю, как тут на довольно простые вопросы, люди иногда начинают между собой соревноваться, кто даст более непонятный и сложный ответ этому новичку.
И
непонятный и сложный с точки зрения новичка
И
сори за оффтоп
AP
Я вообще считаю, что использование стандартных функций в примерах как раз хорошо показывает, как в этом языке принято решать задачи. А примеры с рекурсией на нескольких фккумуляторах выглядят так, будто в Haskell только рекурсии и пишут на каждом шагу, потому что ничего другого нет
AP
Новичку должно быть интересно. А сложности не должны пугать — они всё равно будут, но их можно преодолеть. Только лишь сложные примеры давать не стоит, тут соглашусь!
[
Я написал свою свёртку просто потому что никто не написал ранее со светрткой :)
[
У меня кстати там флип остался от использования инплейс лямбды, но его можно убрать
2021 December 13
D
@cblp_su
Юрий, хотел у вас уточнить:
Юрий, хотел у вас уточнить:
-- тип результатато есть в данном определении структуры данных мы явно указываем её поведение в отличие, к примеру, от
-- ↓
data Reader r a = R (r -> a)
-- ↑
-- тип неявной зависимости
data List a , где поведение происходит из конструкции самой структуры? и есть ли категоризация структур по данному признаку, потому что я только к концу курса понял, почему тип в инстансах условно каррированныйJS
поведение не всегда происходит из самой структуры. для списка, например, можно определить разные инстансы Applicative. для Reader не уверен, можно ли.
а поведение instance Functor у всех следует из структуры, тоже не поделить никак.
а поведение instance Functor у всех следует из структуры, тоже не поделить никак.