Post #2578191
2026-05-13 18:39 UTC
@joe@f.duriansoftware.com There are some things around this general problem area (e.g. stack frame size) that aren't really possible to check in a language-level type system and require some sort of deferred linker check. However, this particular case would be solved by baby's first effect system.
Replies (1)
-
@joe@f.duriansoftware.com 2026-05-13 19:21
@zwarich@hachyderm.io I wonder if anyone has tried being effects-purist to the point of modeling “needs N bytes of stack space” as an effect