Size: a a a

Scala User Group

2020 August 15

GP

Grigory Pomadchin in Scala User Group
источник

GP

Grigory Pomadchin in Scala User Group
‼️Самое важное в Scala User Group

🔹 Scala Valentines #3 => https://scala.love/scala-valentines-3/
🔹 Вышел новый Scala Love с Адамом Варски https://scala.love/softwaremilling-around-oss/
🔹 приходите слушать Олега Шелаева про граалвм в новом подкасте от @fundamentalparticle и @oli_kitty https://programming.love/how-to-fall-in-love-with-graalvm/
источник

S

Serega in Scala User Group
И тут? Просто когда не понятно то каждый момент имеет значение
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Serega
И тут? Просто когда не понятно то каждый момент имеет значение
да, и тут
источник
2020 August 16

Y

Yevhen in Scala User Group
А пример adt что упоминался в докладе он во Free monad используется?
источник

GP

Grigory Pomadchin in Scala User Group
Yevhen
А пример adt что упоминался в докладе он во Free monad используется?
да, открой доку любую по фри монадам; там недвусмысленно пример приводится

определяешь адт и потом делаешь ее "фришной"
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Grigory Pomadchin
да, открой доку любую по фри монадам; там недвусмысленно пример приводится

определяешь адт и потом делаешь ее "фришной"
не понял
источник

Oℕ

Oleg ℕizhnik in Scala User Group
какой (какую) адт я делаю "фришной" и как
источник

GP

Grigory Pomadchin in Scala User Group
Oleg ℕizhnik
не понял
блин давай потру камент я не увидел что там про твой доклад
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Grigory Pomadchin
блин давай потру камент я не увидел что там про твой доклад
не не, я не понял вообще про фри адт
источник

Oℕ

Oleg ℕizhnik in Scala User Group
без контекста доклада
источник

Oℕ

Oleg ℕizhnik in Scala User Group
как это, взять адт, а потом сделать его фри
источник

Oℕ

Oleg ℕizhnik in Scala User Group
или адт - это типа функтор/тупеконструктор
источник

GP

Grigory Pomadchin in Scala User Group
ну фри это типа ‘фри’; лифтами
источник

GP

Grigory Pomadchin in Scala User Group
именно так; не помню - толи в котовой доке был пример с квстором; и я имел именно это где ‘фри’ был как глагол в предложении
источник

GP

Grigory Pomadchin in Scala User Group
сейчас найду с телефона
источник

GP

Grigory Pomadchin in Scala User Group
https://typelevel.org/cats/datatypes/freemonad.html <- я подумал вопрос был про это
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Ну я значит воспринял категоричечки неправильно, т.е. фришной остаётся всё-таки монада, а адт - это база для неё
источник

GP

Grigory Pomadchin in Scala User Group
да, фри было как глагол в предложении; типа ‘офриить / обесплатить (слова то такого нет)’
источник

IL

Ivan Lopatin in Scala User Group
Grigory Pomadchin
да, фри было как глагол в предложении; типа ‘офриить / обесплатить (слова то такого нет)’
Освободить?
источник