G
@Psilon, а алгебраические эффекты не смотрел?
Size: a a a
2020 June 06
DF
Гиролот расскажи уже про эти эффекты, только не на примере си
AZ
@Psilon, а алгебраические эффекты не смотрел?
всему своё время. Я иду по книжке сплошняком, со всеми заданиями. Занимает время, плюс я последние месяца 2 не занимался - работы много было
DF
В чем там принцип языком хаскеля?
AZ
Dollar Føølish
В чем там принцип языком хаскеля?
так в хаскелле есть эффекты
DF
Так тут какие то алгебраичесеие
G
Dollar Føølish
В чем там принцип языком хаскеля?
Алгебраический эффект - это просто тип, у которого свои операции. Семантику операциям придаёт обработчик эффекта. Их можно комбинировать
AZ
Dollar Føølish
Так тут какие то алгебраичесеие
алгебраические ознаачет то что над ними можно алгебру проводить
AZ
так же как АДТ отличается от обычных типов
G
Штука их основная в том, что они много операторов заменяют в языках, в том числе async/.await, исключения, бектрейсинг и т.д.
DF
Ну так понятнее да
G
И ещё можно ими верифицировать программу на отсутствие каких-либо эффектов
p
Не знаю даже, давайте теперь после каждой написанной строки код собирать и 99% времени доказывать, а в остальное -- писать логику. Поглядим, к к чьей старости напишеися хоть одна ОС на таком языке
нет, ты не понял. я тоже не понимал. доказывать 99% времени логику это про формальную верификацию. Завтипы - это механизм которые все еще улучшает выразительность системы типов, при это давая маленький оверхед по времени написания программы. вот все что после завтипов улучшает выразительность - уже требует непримемлимого времени на написание программы.
AZ
Dollar Føølish
Ну так понятнее да
https://hackage.haskell.org/package/polysemy по идее вот аналог на хаскелле, но это не точно
DF
Фри монады?
AZ
Dollar Føølish
Фри монады?
нет конечно
G
Не знаю даже, давайте теперь после каждой написанной строки код собирать и 99% времени доказывать, а в остальное -- писать логику. Поглядим, к к чьей старости напишеися хоть одна ОС на таком языке
Ну написали же уже
DF
Там написано free monads
G
На ATS
AZ
точнее это то же самое что назвать АДТ "Просто структурками"