просто @qnikst так пишет будто есть несколько решений, которые дадут разный результат

но для меня выглядит так, будто решение в принципе только одно, это все равно получение стрима вордов и сворачивание его

Ну [a] на выходе или Monoid

или ByteString

Ну это случай monoid

И можно маппить word8 в несколько вполне нормально

В линзах поди есть

100%

Но я уже сделал из foldr и палок и понял что это тупиковый путь

как бы целый модуль есть
https://hackage.haskell.org/package/lens-4.19.2/docs/Data-ByteString-Lens.html

> Language tutorials are extremely poor in OCaml compared to other languages; they're mostly lecture notes from academic courses.

красиво

> One of my biggest annoyances was how often OCaml folks talk about Fancy Type System problems, instead of how to actually build products and applications.

о, и у них тоже

а у кого не так?

в питоне

а что это за Dark-то вообще?

это не новый рантайм случаем?

a + b
- Что это?
- А плюс бэ.
- Я вижу, что плюс. А - что такое?
- А и Б - это числа!
- Какие числа? Это не числа, что я не знаю что такое числа? Числа это раз, два, три...
- А обозначает число, например, восемь.
- А! Восемь! Херли восемь писать как А? Так сразу бы и сказал! А Бэ что такое?
- А - на самом деле не обязательно восемь, ну ладно.
- Что значит не обязательно? Ты уже определись, восемь это или что-то другое.
- Ну хорошо, пусть А будет 8, а Б - 12. Тогда А + Б = 20. А если А...
- Ааа! Ну вот - восемь плюс двенадцать. А то - А. а, бе, хуе... Умник хренов! Пиши сразу 20 и не вы*бывайся!

напомнило