MK
а есть у кого-нибудь ссылочка на понятное введение в call-by-push-value?
Size: a a a
2021 June 28
MK
> понятное введение
MK
Диссер я уже полистал
MK
Там треш
NI
Бывает ещё linear CBPV.
А тебе для чего именно?
А тебе для чего именно?
MK
Хочу понять как оно работает и подходит ли для описания того, чем занимаюсь в аспе
MK
Про разделение values are, computations do мне интересно, хочу примерчиков
NI
Фундаментально, эти вещи изучаются ещё в теме оптимальной редукции.
MK
О, я понял что мне надо
В диссере упор на денотационную семантику, а я операционную хочу
SOS или семантику редукций (с контекстами)
В диссере упор на денотационную семантику, а я операционную хочу
SOS или семантику редукций (с контекстами)
MK
Што, опять
t
да все никак не успокоятся
t
каникулы, наверное
[
Не опять, а снова
[
MonadFix часто в проде видите?
MK
На рефлексе просто не писал
MK
Там его завались