Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)

2020 August 11

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
λoλzod
можно подробнее раскрыть?
это еще пересекается с вопросом полиморфизма эффектов
источник

λ

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Sergey Kucherenko
тут есть два варианта, либо программист пишет какую-то спецификацию, например, с помощью аннотаций, и type-and-effect checker проверяет, что эффекты используются согласно спецификации
надо больше почитать.. это ведь зависит от того как их построить (конкретно в скалке), или нет..
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
λoλzod
надо больше почитать.. это ведь зависит от того как их построить (конкретно в скалке), или нет..
в окамль (не вмержено в язык пока) добавили алгэффекты без инференса, там это позволило прямым способом сделать несколько полезных штук, вроде поддержки мультиядерности
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
так что, может, я слишком категоричен, когда говорю "без инференса не нужно" ;)
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
@pbdqobpqd @clayrat алгэффекты без инференса полезны в хозяействе или нет?
источник

λ

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Можешь попробовать объяснить на пальцах что такое без инференса?
источник

λ

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
ну то есть они ведь каким-то образом встраиваются в систему типов и для них работает тайп инференс
источник

P

Pbdq in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Инференс может и не работать, но это уныленько
источник

P

Pbdq in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Это как throws в жаве, только их теперь целая тонна
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
λoλzod
Можешь попробовать объяснить на пальцах что такое без инференса?
программист описывает, какие констрейнты накладываются на эффекты в здесь, чекер проверяет, все ли констрейнты в здесь соблюдаются, всё
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Sergey Kucherenko
@pbdqobpqd @clayrat алгэффекты без инференса полезны в хозяействе или нет?
ну если там дупликация информации то не очень
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
если спецификация как-то осмысленно дополняет код, то почему бы и нет
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Sergey Kucherenko
программист описывает, какие констрейнты накладываются на эффекты в здесь, чекер проверяет, все ли констрейнты в здесь соблюдаются, всё
@sherzodv просто если мы делаем какую-то либу на скале, которая энкодит эти самые эффекты через delimited continuations (таких либ попадалось несколько), то такая либа навряд ли может достаточно хорошим образом порешать вопросы эффект полиморфизма того же
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
погуглил, вот вроде https://github.com/b-studios/scala-effekt из таких либ
источник

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Лучше xml, можно теги на кириллице написать и сразу будет читаемо
источник

λ

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
да вот я их увидел и такое микровведение от одерского в толке Plain Functional Programming
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
а, 17-го года, тогда еще Мартин хотел в дотти сделать систему эффектов
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
ну так там тоже явно объявляешь все юзаемые капабилити
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Oleg ℕizhnik
ну так там тоже явно объявляешь все юзаемые капабилити
да, так
источник

ΛВ

Λнтон Войцишевский... in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Sergey Kucherenko
а, 17-го года, тогда еще Мартин хотел в дотти сделать систему эффектов
а он шо, передумал?
источник