ὦ
Или там был другой курс
>Участникам будут читать 1 лекцию в неделю
>После каждой лекции и выполнения домашнего задания стажеры посещают семинар (еженедельно).
>Длительность обучения на курсе – 3 месяца.
Size: a a a
2020 January 16
λ
Если бы сделали классический фриир с двумя конструкторами, можно было бы оставить публичными
Погоди. Их два + один лифт
λ
Это и есть классека
λ
Pure + Bind + Lift
Oℕ
Это и есть классека
нет
λ
Без лифта обойтись через другую версию байнда?
Oℕ
классека это
data Freer f a where
Pure : a -> Freer f a
Bind : f a -> (a -> Freer f b) -> Freer f b
data Freer f a where
Pure : a -> Freer f a
Bind : f a -> (a -> Freer f b) -> Freer f b
λ
классека это
data Freer f a where
Pure : a -> Freer f a
Bind : f a -> (a -> Freer f b) -> Freer f b
data Freer f a where
Pure : a -> Freer f a
Bind : f a -> (a -> Freer f b) -> Freer f b
Да, это я и поимел в виду
λ
У них байнд херовый, с фри в начале
Oℕ
ну вот получается два
Oℕ
ну тогда можно Lift выбрасывать
(
У них байнд херовый, с фри в начале
бля, а я сижу дрочу пытаюсь аппликатив для как раз такого фри написать
Oℕ
Т.е. они типа оптимизируют, чтобы лифт не стал оч сложным конструктором с двумя параметрами вместо одного
Oℕ
типа если делать так, то нужно аллоцировать pure дополнительно
Oℕ
Хотя на самом деле можно было бы написать один pure через instanceOf + Any
Oℕ
И ничего не аллоцировать