ҪҸ
корутины подвезли
Size: a a a
2019 June 08
AF
continuations
ҪҸ
это еще не пропозал только
ҪҸ
не оформлено
ҪҸ
да это в репке gc в принципе есть
NK
continuations действительно не хватает в wasm спеке, без них не получиться реализовать корутины независимо от хоста
MV
@maxgraey, а ты не конфе случайно?
с
а для небраузерных имплементаций эти пропозалы впиливаются?
MV
чего-то не понятно, а зачем они придумали заново типизированное лямбда исчисление, почему бы не использовать cic из coq
ҪҸ
чего-то не понятно, а зачем они придумали заново типизированное лямбда исчисление, почему бы не использовать cic из coq
¯\_(ツ)_/¯ я это еще с cg митинга не понял
ҪҸ
где они это показывали