169 похожих чатов

И? с чего бы "Traversable better than Iterable" ? Зачем

их вобще сравнивать с позиции "лучше-хуже" ? траверсабл и итерабл - разный апи для одной сути - обход поэлементно. Ничего кроме этого. Исходя из общего описания - ни там ни сям никаких гарантов даже нет, что эти элементы будут ограничены множеством которое ты хочешь обойти или что ты обойдешь гарантированно каждый элемент множества или не обойдешь какие-то элементы более одного раза. Ничего не гарантируется, кроме гаранта наличия апи для обхода. Более того - Итерабл (а точнее итератор, потому что итерабл лишь гарант получения итератора) - несколько более мощная концепция, поскольку траверсабл всегда может быть выражен через итерабл, а наоборот не всегда(а ведь итератор еще может быть и двунаправленный - здесь траверсабл сразу на лопатки ложится). То, про что ты толкуешь - это всего лишь частные реализации со своими гарантиями, но никак не часть общих определений.

1 ответов

3 просмотра

Traverse просто более мощное определение, чем Foldable, так же, как Монада более мощное, чем Функтор

Похожие вопросы

Обсуждают сегодня

Всем привет, на линуксе лучше на fasm или nasm учиться писать для начала ?
meszjol
14
Если у меня есть такой класс: Object = {} function Object:new(a_name, a_transform, a_color, a_mesh, a_material, a_shader, a_textures) local private = {} private.n...
Cuarno Vile
4
было так ;void set_http_ver(RESPD* ptr, char* version, uint32_t length) // example: 'RTSP/1.1 ' set_http_ver: mov eax, [esp + 4] mov ecx, [esp + 8] ...
Mixail Frolov
5
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
зачем же переименовывать ? чтобы кол-во участников возросло или вдруг IBM от этого снова на свифте начнет кодить ? Я не понимаю что страшного в том что свифт гавно, если это т...
Oleh Nerzh
10
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
Evo 1.4.34 PHP 7.4 Все работало штатно. На ровном месте SimpleGallery начал выдавать ошибку Что может быть? Уже все переустановил по новой. Места хватает. Хостинг reg.ru
Paul Savchenkov
6
здравствуйте. совершаю вот такую вещь: strcpy(line, (char)current_number); где current number — неподписанный шорт, line — массив чаров. ругань следующая: main.c:29:30: error...
Roberto's Ширгозиев
13
юзеры Jetpack Compose тут?
Qtless Qtless
8
Карта сайта