ᛒ
[10:03:02] <pgiarrusso> I submitted gDOT already, I’m extending it to higher kinds
[10:03:14] <pgiarrusso> BTW, I’ve used “Scala step-by-step” as the title :-)
Size: a a a
2020 April 29
AG
AD
с ё промахнулся. сменил ос?
Раскладку
DM
gDOT это о чем?
ΛВ
generalized DOT?
AD
[10:03:02] <pgiarrusso> I submitted gDOT already, I’m extending it to higher kinds
[10:03:14] <pgiarrusso> BTW, I’ve used “Scala step-by-step” as the title :-)
Сложно, можно пояснение?
ᛒ
generalized DOT?
обобщенный дзот
AG
generalized DOT?
guarded
AG
Сложно, можно пояснение?
автор итальянец, "скала" по итальянски - лестница
AG
шутка в том что они доказывают хорошие свойства DOT через так называемое step-indexing
AG
обобщенный дзот
охраняемый даже лучше :)
SK
классно, если у него всё получилось с кайндами
Oℕ
шутка в том что они доказывают хорошие свойства DOT через так называемое step-indexing
Это не то, что Исаев называет fuel pattern?
SK
нет, step-indexed logical relations
AG
Это не то, что Исаев называет fuel pattern?
Oℕ
эх, пока ты копал свою вики, мне пришлось вчитаться в первую ссылку на архив из гугла
Oℕ
Но принцип понятен