G
Мне не нравится это читать)
Size: a a a
2020 June 07
G
Исключения в Java - просто эффекты
DF
Haha runtimeException go brrr
G
Алг. эффекты иногда определяют как resumable exceptions
p
Нельзя было сделать уже
handle check(err) {
return err
}
foo := check some
handle check(err) {
return err
}
foo := check some
p
Чтобы можно было явно указать обработчик
p
Алг. эффекты иногда определяют как resumable exceptions
Как книжка по теории языков называется?
T1
Ну в структурках ограничения не пишут
Схерали это лол
DF
Алг. эффекты иногда определяют как resumable exceptions
Это в принципе про все алг эффекты? Или только которые на лонгджампах?
G
Как книжка по теории языков называется?
Practical Foundations for Programming Languages
T1
Схерали это лол
Разве что те, которые как раз будут специфичны для импла
p
Схерали это лол
Потому что нахер не нужно
T1
Допустим импл для которого нужно чтобы некоторые типы 'static удовлетворяли
T1
Потому что нахер не нужно
Что значит нахер нужно
T1
Зачем вообще тогда баунды нужны?))))
G
Dollar Føølish
Это в принципе про все алг эффекты? Или только которые на лонгджампах?
Ну в Idris я не смотрел как реализовано. Когда формальную семантику освою, тогда более детально изучу вопрос
T1
Мне допустим нужны чтобы иметь представление о типе
p
Зачем вообще тогда баунды нужны?))))
Чтобы их писать в имплах и в функциях
T1
Practical Foundations for Programming Languages
Не забросил что ли её?)
T1
Чтобы их писать в имплах и в функциях
Мда, троллишь