/¯
Не, специальные типы-вьюшки (которые пребразовывают вход в выход), которые можно между собой комбинировать
Работают максимально лениво и чисто
Size: a a a
2020 July 18
I
Сделай фильтр и хелперы на нём
Я только не могу понять, а вот если мы подаем в фильтр лямбду - она гарантированно сможет выполниться CT?
/¯
Я только не могу понять, а вот если мы подаем в фильтр лямбду - она гарантированно сможет выполниться CT?
Если у тебя результат constexpr и компилятор это собрал, то какие ещё гарантии нужны?
I
Тогда, вопросов не имею. Ну гарантии, я так, в стандарте обычно ищу.
I
Просто еще не начинал их там искать.
/¯
А так, не любая лямбда может быть constexpr. Зависит от фич и багов компилятора
/¯
И ни в коем случае не от какого-то там стандарта
I
Да, я соглашусь.
А⚙
По смыслу: блюпринты в ue или граф флоу в touch designer, если аналогии искать
Или стримы в джаве
CC
Или стримы в джаве
Стримы в жаве это обычные монады
I
Вроде, кстати, +- работает.
I
А я думал, лямбды 100% не CT.
CC
А так, не любая лямбда может быть constexpr. Зависит от фич и багов компилятора
Кто-то делает мутабельные лямбды?
А⚙
Стримы в жаве это обычные монады
Точно нет, типы того же bind в системе типов Java не выразимы
CC
Точно нет, типы того же bind в системе типов Java не выразимы
Оно имитирует монады :)
/¯
Кто-то делает мутабельные лямбды?
кто-то не читает стандарт / не запускает компилятор и задаёт нерелеватные вопросы
А⚙
Кто-то делает мутабельные лямбды?
А что, лямбда не может мутировать захваченные переменные?
CC
А что, лямбда не может мутировать захваченные переменные?
Я хз зачем такие делать
CC
кто-то не читает стандарт / не запускает компилятор и задаёт нерелеватные вопросы
Злюка :(
А⚙
Я хз зачем такие делать
Чтобы не передавать мутируемые значения аргументами, например