P
Какой вариант там реализован? One-shot или multi-shot? Или как их называют? Reentrant?
Незнаком с терминами к сожалению
Size: a a a
2021 April 05
H
Я на Си недавно делал алгебраические эффекты на Duff’s Device, может потом доделаю и опубликую на GitHub
AT
Pavel
Незнаком с терминами к сожалению
OK, переформулирую: probabilistic programming или list comprehensions на этих эффектах можно реализовать? 😊
TP
Если что, анонс будет на неделе тут
https://vk.com/pltlab
https://vk.com/pltlab
👍
AT
Я на Си недавно делал алгебраические эффекты на Duff’s Device, может потом доделаю и опубликую на GitHub
Алгебраические эффекты как бы подразумевают отражение эффектов в типах и проверку оных. Без этого просто (delimited) continuations получаются, нет?
H
Алгебраические эффекты как бы подразумевают отражение эффектов в типах и проверку оных. Без этого просто (delimited) continuations получаются, нет?
У меня они нетипизированные получились. От delimited continuations отличаются, разве что, более структурированной формой (например, эффект определяет операции, подобно интерфейсу)
P
OK, переформулирую: probabilistic programming или list comprehensions на этих эффектах можно реализовать? 😊
А для list comprehension разве нужны эффекты? Насколько я знаю это про синтаксис выражений манипулирования списками..
H
У меня они нетипизированные получились. От delimited continuations отличаются, разве что, более структурированной формой (например, эффект определяет операции, подобно интерфейсу)
Если мне не изменяет память, у Microsoft они тоже не совсем типизированные
P
Но я не PhD)
AT
Pavel
А для list comprehension разве нужны эффекты? Насколько я знаю это про синтаксис выражений манипулирования списками..
Да, но на multi-shot или как их там эффектах можно тоже запрограммировать.
AT
На one-shot, соответственно, нельзя.
AT
Ну или поиск с возвратами, если comprehensions — это слишком просто для Вас. 😃
K
А сайт у них мертв, да?
AT
А сайт у них мертв, да?
У кого "у них"???
K
У кого "у них"???
chalmersfp
P
Да, но на multi-shot или как их там эффектах можно тоже запрограммировать.
Тогда там multi-shot
AT
Pavel
Тогда там multi-shot
👍
AT
chalmersfp
Видимо, мёртв. Они в списке рассылки общаются, как мне говорили.