M
"За деревьями леса не видать" (с) Народная мудрость
Size: a a a
2021 February 18
I
"За деревьями леса не видать" (с) Народная мудрость
это я еще причесал для ревью в скалачате
λ
Привет. Нужен совет тру опытных таглесс файналеров. Олег в последнем видео взял за основу тип Expr[A] ?=> A, из-за которого имплиситно потом всё превращается в совершенный код.
Я пытался сделать то же самое на скала2.
И без этого типа получается тоже ничего, но по типам все не то ( https://scastie.scala-lang.org/CAN9VW4SQD2nh5V1SWHyhw Листинг 1)
А вот если попытаться написать с типами как в скала3 (или как у Олега), то основная программа получается отвратительной ( https://scastie.scala-lang.org/N6RlaVfzStCQ2JTk7mpvbg Листинг 2)
Если в скала2 возможность получить совершенный код из Листинга 2?
Или совершенный код для 2 скалы уже в 1-м листинге?
Комменты расставил, куда смотреть
Я пытался сделать то же самое на скала2.
И без этого типа получается тоже ничего, но по типам все не то ( https://scastie.scala-lang.org/CAN9VW4SQD2nh5V1SWHyhw Листинг 1)
А вот если попытаться написать с типами как в скала3 (или как у Олега), то основная программа получается отвратительной ( https://scastie.scala-lang.org/N6RlaVfzStCQ2JTk7mpvbg Листинг 2)
Если в скала2 возможность получить совершенный код из Листинга 2?
Или совершенный код для 2 скалы уже в 1-м листинге?
Комменты расставил, куда смотреть
Не хватает контекста. Лучше ссылку на момент видео дай
λ
Вообще вот такая штука:
[A] => Expr[A] ?=> A
смахивает на инишал представление того АДТ, от которого началась кодировка ДСЛ.
[A] => Expr[A] ?=> A
смахивает на инишал представление того АДТ, от которого началась кодировка ДСЛ.
λ
Если Expr[A] это трейт, соответствующий паттерн-функтору и ф-алгебре
ZM
Вообще вот такая штука:
[A] => Expr[A] ?=> A
смахивает на инишал представление того АДТ, от которого началась кодировка ДСЛ.
[A] => Expr[A] ?=> A
смахивает на инишал представление того АДТ, от которого началась кодировка ДСЛ.
Надо видео с котом, где он введет термин инишал. Олег только про алгебру рассказал.
Oℕ
Ну я говорил про "начальную" , может и "инишиал" кодировку, это как правило индуктивный тип данных, соответствующий начальной алгебре
I
Да. Чо-т сложно. Но это выражение было у Олега. Потом он от него избавился (от него: [A] => Expr[A] ?=> A), переделав в
ExprA[A] = Expr[A] => A
ExprA[A] = Expr[A] => A
I
и получилось офигенно
Oℕ
ну в скале 2 нет имплиситных функций
Oℕ
теглес файнал в ней - это куча параметрических методов, вызывающих друг друга
I
теглес файнал в ней - это куча параметрических методов, вызывающих друг друга
я читал вот эту статью, и примеры в ней разительно отличаются от того, что в твоем видео.
Поэтому нужен обязательно следующий видос, который будет объединен с 1-м в каком-то плейлисте
Поэтому нужен обязательно следующий видос, который будет объединен с 1-м в каком-то плейлисте
Oℕ
какую эту статью
I
А конкретно, больше F с дыркой появляется
Oℕ
ну дойдём до дырок
ZM
я читал вот эту статью, и примеры в ней разительно отличаются от того, что в твоем видео.
Поэтому нужен обязательно следующий видос, который будет объединен с 1-м в каком-то плейлисте
Поэтому нужен обязательно следующий видос, который будет объединен с 1-м в каком-то плейлисте
плейлист уже есть, и даже запинен на главной канала
Oℕ
в следующих заседаниях
NV
Привет. Нужен совет тру опытных таглесс файналеров. Олег в последнем видео взял за основу тип Expr[A] ?=> A, из-за которого имплиситно потом всё превращается в совершенный код.
Я пытался сделать то же самое на скала2.
И без этого типа получается тоже ничего, но по типам все не то ( https://scastie.scala-lang.org/CAN9VW4SQD2nh5V1SWHyhw Листинг 1)
А вот если попытаться написать с типами как в скала3 (или как у Олега), то основная программа получается отвратительной ( https://scastie.scala-lang.org/N6RlaVfzStCQ2JTk7mpvbg Листинг 2)
Если в скала2 возможность получить совершенный код из Листинга 2?
Или совершенный код для 2 скалы уже в 1-м листинге?
Комменты расставил, куда смотреть
Я пытался сделать то же самое на скала2.
И без этого типа получается тоже ничего, но по типам все не то ( https://scastie.scala-lang.org/CAN9VW4SQD2nh5V1SWHyhw Листинг 1)
А вот если попытаться написать с типами как в скала3 (или как у Олега), то основная программа получается отвратительной ( https://scastie.scala-lang.org/N6RlaVfzStCQ2JTk7mpvbg Листинг 2)
Если в скала2 возможность получить совершенный код из Листинга 2?
Или совершенный код для 2 скалы уже в 1-м листинге?
Комменты расставил, куда смотреть
Подскажите, а что за курс вы проходите?
2021 February 19
I
Подскажите, а что за курс вы проходите?
