t
ну мне просто так видится, что практических кейсов будет куда больше, если убрать требование сохранять изначальное поведение.
Size: a a a
2021 April 03
t
да и, если я верно понимаю, у порождающей функции в целом нет никаких ожиданий насчет конкретных эффектов, которые будет иметь фактическая интепретация ФМ
t
т.к. интерпретаторов может быть много...
t
ну, тогда "поведение" для чистых вещей типа Add можно понять, но зачем в таком случае ФМ?
MK
а что такое "частичное выполнение" в конкретно этом случае?
Partial evaluation
t
Partial evaluation
нет, это я понял. я не понял, как можно "частично применить" коллбэк бинда, если у него по сути один только аргумент. Речь о суперкомпиляции? Скормить ему некий Специальный Объект, который будет вести себя по разному в разных контекстах?
MK
Ну если сделать PE хаскеля, то всё получится :)
MK
Если серьёзно, то для этого надо не использовать хаскель в колбеках, только дсл
MK
В общем что-то сделать можно
t
Если серьёзно, то для этого надо не использовать хаскель в колбеках, только дсл
окей, но мне кажется, что это не решает проблему, а загоняет ее на уровень ниже - по сути, этот dsl должен быть полноценным тюринг-полным языком... выглядит, как переизобретение хаскеля поверх хаскеля
t
и этот dsl точно так же надо будет оптимизировать.
t
если он полностью представим в виде статической структуры, то мне и фримонада не нужна - я могу сразу на этом dsl писать
MK
окей, но мне кажется, что это не решает проблему, а загоняет ее на уровень ниже - по сути, этот dsl должен быть полноценным тюринг-полным языком... выглядит, как переизобретение хаскеля поверх хаскеля
А должен ли? :)
t
А должен ли? :)
ну если мы хотим быть on-par с хаскелем, то да.
а если задачи подразумевают, что можно обойтись чем-то более ограниченным, то нужна ли ФМ?
а если задачи подразумевают, что можно обойтись чем-то более ограниченным, то нужна ли ФМ?
KV
ну ведь это (цитата из любой статьи про монады) "просто как будто AST для вашего кода!"
Дык оно в рантайме строится. Чтобы был статический анализ, нужно что-то менее выразительное, вот селективы уже предложили
MK
Про PE в языках с эффектами можно тут посмотреть
https://www.researchgate.net/publication/259162812_Normalization_by_Evaluation_and_Algebraic_Effects
https://www.researchgate.net/publication/259162812_Normalization_by_Evaluation_and_Algebraic_Effects
MK
Но это конечно вещь затрагивающая весь язык
MK
С хаскелем такое наверное только на уровне тх можно сделать, и то если написать свой интерпретатор