AZ
Alexander Krivitskiy
[1, 2, 3, 4, 8, 9, 10, 11, 10, 11, 12, 14, 16, 16, 17] - > [[1, 2, 3, 4], [8, 9, 10, 11], [10, 11, 12], [14], [16], [16, 17]]
Size: a a a
2020 March 25
AZ
Сейчас реализую
уже)
AZ
хотя не против глянуть твой вариант
G
уже)
У меня по-другому)
G
Я долго, т.к. туплю в Идрисе немного
AZ
ичсх заработало почти с первого раза, только concatResult надо было
AZ
Я долго, т.к. туплю в Идрисе немного
так это не идрис же
AZ
или ты хочешь в идрисе?
G
Я думал в Идрисе, но не суть, оно по-моему и в Haskell работать будет
AZ
Я думал в Идрисе, но не суть, оно по-моему и в Haskell работать будет
их легко отличить
AZ
Я думал в Идрисе, но не суть, оно по-моему и в Haskell работать будет
p
тотальная функция - функция работающая за определенное время и не кидающая исключений?
G
тотальная функция - функция работающая за определенное время и не кидающая исключений?
Функция, завершающаяся на всех входных значениях
AZ
тотальная функция - функция работающая за определенное время и не кидающая исключений?
исключение это то же что бесконечнео время работы - боттом
G
Бля, @Psilon, ты научился также хорошо описывать задачу рекурсивно, как и циклами?
AZ
Бля, @Psilon, ты научился также хорошо описывать задачу рекурсивно, как и циклами?
хз, я не люблю рекурсию она стек выедает, пусть даже программный
AZ
фолды наше всё
AZ
и траверсы
AZ
катаморфизмы фтв