VL
Он хоть 1/10 от кложавского может?
Size: a a a
2020 July 16
Oℕ
А покажите язык с алгебраическими эффектами?)
Есть техники более общие, чем контроль эффектов, например, модальности
https://granule-project.github.io/granule.html
https://granule-project.github.io/granule.html
OR
В курсе про duck typing? Вот это про тебя как раз, ты собрал весь набор. И ещё несколько твоих товарищей, квазиумных.
TP
Они все исследовательские, ну классический пример Frank
https://www.google.com/url?sa=t&source=web&rct=j&url=http://homepages.inf.ed.ac.uk/slindley/papers/frankly-draft-march2014.pdf&ved=2ahUKEwi8spnFpNHqAhXNrIsKHeVRAiEQFjAEegQIBxAB&usg=AOvVaw2IhUwXiU_Qa3Y6xBdHXeQD
https://www.google.com/url?sa=t&source=web&rct=j&url=http://homepages.inf.ed.ac.uk/slindley/papers/frankly-draft-march2014.pdf&ved=2ahUKEwi8spnFpNHqAhXNrIsKHeVRAiEQFjAEegQIBxAB&usg=AOvVaw2IhUwXiU_Qa3Y6xBdHXeQD
Я вроде ещё видел в каком-то майкрософтомском языке есть, что-то пытаются сделать в Ocaml)
А также очень похожая система есть в CL - http://jacek.zlydach.pl/blog/2019-07-24-algebraic-effects-you-can-touch-this.html
А также очень похожая система есть в CL - http://jacek.zlydach.pl/blog/2019-07-24-algebraic-effects-you-can-touch-this.html
Oℕ
Он хоть 1/10 от кложавского может?
Да, может примерно столько же, сколько кложуровский
Oℕ
Я вроде ещё видел в каком-то майкрософтомском языке есть, что-то пытаются сделать в Ocaml)
А также очень похожая система есть в CL - http://jacek.zlydach.pl/blog/2019-07-24-algebraic-effects-you-can-touch-this.html
А также очень похожая система есть в CL - http://jacek.zlydach.pl/blog/2019-07-24-algebraic-effects-you-can-touch-this.html
Ага
TP
Я просто не понял вопроса типа «покажи алг еффекты в кложе», хотя их почти нигде нет 😄
Хотя может я просто не дочитал сообщения до конца)
Хотя может я просто не дочитал сообщения до конца)
Oℕ
Но, конечно, думаю до неисследовательских систем эффектов в языках лет 5-10 ещё
TP
Вообще идея конечно крутая, и даже не обязательно стат типизацию иметь. Главное first-class continuations как в Scheme и можно сделать эффекты и эффект хэндлеры
TP
Я бы не сказал что она «быстро» развивается, все любят ее не за это)
Oℕ
Вообще идея конечно крутая, и даже не обязательно стат типизацию иметь. Главное first-class continuations как в Scheme и можно сделать эффекты и эффект хэндлеры
Ну такие эффекты не очень полезны, такие сорта континюэйшонов в 80х использовали ещё. Без типов применений у них не очень много
Oℕ
Ну ладно, давайте скажем так "без систем инвазивной метаинформации" не очень полезны
TP
Ну такие эффекты не очень полезны, такие сорта континюэйшонов в 80х использовали ещё. Без типов применений у них не очень много
Почему же? Какое приемущество дадут типы в контектсте алг эффектов перед динамической типизацией?
Небольшая ремарка: мы должны помнить, что в кложе есть типы, ты не сложишь число и строку. Типы просто не проверяются во время компиляции
Небольшая ремарка: мы должны помнить, что в кложе есть типы, ты не сложишь число и строку. Типы просто не проверяются во время компиляции
TP
Не, я понимаю, что компиляторные чеки, отлов ошибок ещё до запуска, валидация эффектная функция vs. чистая
Oℕ
Почему же? Какое приемущество дадут типы в контектсте алг эффектов перед динамической типизацией?
Небольшая ремарка: мы должны помнить, что в кложе есть типы, ты не сложишь число и строку. Типы просто не проверяются во время компиляции
Небольшая ремарка: мы должны помнить, что в кложе есть типы, ты не сложишь число и строку. Типы просто не проверяются во время компиляции
Давайте не вдаваться в спор могут ли являться ли ошибки рантайма системой типов.
Классическая ветка теории типов, тянущаяся от Рассела понимает типы в другом смысле.
Классическая ветка теории типов, тянущаяся от Рассела понимает типы в другом смысле.
TP
И это всё круто, но я бы не скажал что это *обязательно*
Oℕ
Почему же? Какое приемущество дадут типы в контектсте алг эффектов перед динамической типизацией?
Небольшая ремарка: мы должны помнить, что в кложе есть типы, ты не сложишь число и строку. Типы просто не проверяются во время компиляции
Небольшая ремарка: мы должны помнить, что в кложе есть типы, ты не сложишь число и строку. Типы просто не проверяются во время компиляции
Основное преимущество - это как раз очень строгие сигнатуры и возможность реализовать программы в более ортогонализируемой форме.
RK
Основное преимущество - это как раз очень строгие сигнатуры и возможность реализовать программы в более ортогонализируемой форме.
Как ортогонализация следует из типов?
Oℕ
И это всё круто, но я бы не скажал что это *обязательно*
Конечно, не обязательно. Просто я говорю именно в контексте "если вам интересны алгебраические эффекты, вам наверное интересна строгая связь сигнатур с термами", а не дополнительные фишки рантайма
TP
Конечно, не обязательно. Просто я говорю именно в контексте "если вам интересны алгебраические эффекты, вам наверное интересна строгая связь сигнатур с термами", а не дополнительные фишки рантайма
А, ну это кому как наверное)
Мне, например, из алг эффектов бы интересовали возможности анвиндить стек вызовов наверх с какими-нибудь дефолтными значениями или ещё что-нибудь такое, а не сигнатуры, которые получаются с эффектами)
Мне, например, из алг эффектов бы интересовали возможности анвиндить стек вызовов наверх с какими-нибудь дефолтными значениями или ещё что-нибудь такое, а не сигнатуры, которые получаются с эффектами)