тут есть два варианта, либо программист пишет какую-то спецификацию, например, с помощью аннотаций, и type-and-effect checker проверяет, что эффекты используются согласно спецификации
надо больше почитать.. это ведь зависит от того как их построить (конкретно в скалке), или нет..
надо больше почитать.. это ведь зависит от того как их построить (конкретно в скалке), или нет..
в окамль (не вмержено в язык пока) добавили алгэффекты без инференса, там это позволило прямым способом сделать несколько полезных штук, вроде поддержки мультиядерности
программист описывает, какие констрейнты накладываются на эффекты в здесь, чекер проверяет, все ли констрейнты в здесь соблюдаются, всё
@sherzodv просто если мы делаем какую-то либу на скале, которая энкодит эти самые эффекты через delimited continuations (таких либ попадалось несколько), то такая либа навряд ли может достаточно хорошим образом порешать вопросы эффект полиморфизма того же