SK
можно подробнее раскрыть?
это еще пересекается с вопросом полиморфизма эффектов
Size: a a a
2020 August 11
λ
тут есть два варианта, либо программист пишет какую-то спецификацию, например, с помощью аннотаций, и type-and-effect checker проверяет, что эффекты используются согласно спецификации
надо больше почитать.. это ведь зависит от того как их построить (конкретно в скалке), или нет..
SK
надо больше почитать.. это ведь зависит от того как их построить (конкретно в скалке), или нет..
в окамль (не вмержено в язык пока) добавили алгэффекты без инференса, там это позволило прямым способом сделать несколько полезных штук, вроде поддержки мультиядерности
SK
так что, может, я слишком категоричен, когда говорю "без инференса не нужно" ;)
SK
@pbdqobpqd @clayrat алгэффекты без инференса полезны в хозяействе или нет?
λ
Можешь попробовать объяснить на пальцах что такое без инференса?
λ
ну то есть они ведь каким-то образом встраиваются в систему типов и для них работает тайп инференс
P
Инференс может и не работать, но это уныленько
P
Это как throws в жаве, только их теперь целая тонна
SK
Можешь попробовать объяснить на пальцах что такое без инференса?
программист описывает, какие констрейнты накладываются на эффекты в здесь, чекер проверяет, все ли констрейнты в здесь соблюдаются, всё
AG
@pbdqobpqd @clayrat алгэффекты без инференса полезны в хозяействе или нет?
ну если там дупликация информации то не очень
AG
если спецификация как-то осмысленно дополняет код, то почему бы и нет
SK
программист описывает, какие констрейнты накладываются на эффекты в здесь, чекер проверяет, все ли констрейнты в здесь соблюдаются, всё
@sherzodv просто если мы делаем какую-то либу на скале, которая энкодит эти самые эффекты через delimited continuations (таких либ попадалось несколько), то такая либа навряд ли может достаточно хорошим образом порешать вопросы эффект полиморфизма того же
SK
w
погуглил, вот вроде https://github.com/b-studios/scala-effekt из таких либ
Лучше xml, можно теги на кириллице написать и сразу будет читаемо
λ
да вот я их увидел и такое микровведение от одерского в толке Plain Functional Programming
SK
а, 17-го года, тогда еще Мартин хотел в дотти сделать систему эффектов
Oℕ
погуглил, вот вроде https://github.com/b-studios/scala-effekt из таких либ
ну так там тоже явно объявляешь все юзаемые капабилити
SK
ну так там тоже явно объявляешь все юзаемые капабилити
да, так
ΛВ
а, 17-го года, тогда еще Мартин хотел в дотти сделать систему эффектов
а он шо, передумал?