Post #2491332
2026-05-13 19:35 UTC
@zwarich@hachyderm.io want spaghetti stacks? that's just a different handler
Replies (1)
-
@zwarich@hachyderm.io 2026-05-13 19:44
@joe@f.duriansoftware.com Type systems for higher level languages that try to include some notion of stack tend to view it more like a pure continuation or coterm. Is there a coherent way to model the stack like this above the assembly level? Not to ride up the score against Wasm today, but we could have had this: https://www.cs.cornell.edu/talc/papers/stal-tic-abstract.html