G
нет
id?Size: a a a
2020 March 12
EG
А при чём тут
EG
λ => :t (>>)
(>>) :: Monad m => m a -> m b -> m b
λ => :t (>>=)
(>>=) :: Monad m => m a -> (a -> m b) -> m b
λ => tmp a b = a >>= \_ -> b
λ => :t tmp
tmp :: Monad m => m a -> m b -> m b
λ =>
G
А при чём тут
id?
я не понял что ты хотел, ты написал не валиддный синтаксис, я решил вставить id
EG
Если текстовой заменой заменить
>> на >>= \_ ->, то изa >> bполучится
a >>= \_ -> b
EG
Что я, собственно, и имел в виду
G
Если текстовой заменой заменить
>> на >>= \_ ->, то изa >> bполучится
a >>= \_ -> b
но да, просто игнорится значение из первого контейнера
G
Если текстовой заменой заменить
>> на >>= \_ ->, то изa >> bполучится
a >>= \_ -> b
во
DF
Не контейнера а коробки
DF
Назвывай монады правильно
AL
AZ
>> это >>= \_ ->?да
AZ
>> это >>= \_ ->?легко увидеть это по исходникам
AZ
DF
Кек
P
Т-34 85
Не понял, что ты написал. Флаг делать оверхедно, один указатель проще
флаг времени компиляции, в рантайме в месте использования это может быть флаг процессора и заменять лишнее соавнени бранчующей инструкцией на основе прошлого сравнения
Т8
флаг времени компиляции, в рантайме в месте использования это может быть флаг процессора и заменять лишнее соавнени бранчующей инструкцией на основе прошлого сравнения
Зачем так сложно, когда можно заюзать для этого уже имеющийся указатель?
P
Т-34 85
Зачем так сложно, когда можно заюзать для этого уже имеющийся указатель?
потому, что его отсутствие может быть соптимизировано компилятором