Функтор (с оговоркой про необходимость учесть его законы (второй раз ты меня не подловишь))

https://i.gyazo.com/ef3d16926a6da01353480fefc4f4d1db.jpg

Словарь терминов

Кстати, если уж был вопрос, почему я все время спрашиваю, зачем оно надо, то ответ такой: чтобы внедрять новые фичи, надо понимать их область применения и конкретные юз кейсы. Пока кто-то четко не сформулирует это, ничего нового не будет. Случай с сетом, который порождает сет не особо убедительный, поскольку его легко получить обычным экстеншеном. Более сложные штуки типа этой двойной мамы можно обсуждать, если объяснить, что и зачем оно делает.

Харашо

s/Chainable/FlatMappable/
🌚

Bind'able 😎

В текущем порядке дел этот двойной мап спокойно будет определён на итерабле и возвращать список. И (почти) всем будет ок. Это тоже не кейс.

А те же сериалайзеры вешаются компмляторным плагином, с явным тасканием инстанса сериалайзера, там решили эту проблему не трогать.

Ну да. Но правильное замечание, что Sequence не iterable. Не достаточно для языковой фичи, но что-то. Теперь надо придумать что-то более существенное акромя моей математики (вот там оно как раз надо).

Это просто тут Миши щас нет, он бы за сиквенсы пояснил)))

У меня та же боль по поводу массивов и листов. Но не достаточно больно

А что тут пояснять - Iterable : Sequence

Но этого, конечно, никогда не будет

Не совсем же

Ок, "сиквенс не нужен, надо было вешать экстеншены на итератор!!!!11"

Вот это уже ближе к телу))

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

И получили бы Java stream

И я даже частично согласен, вроде бы хуже бы не стало