Post #2489676
2026-05-13 18:33 UTC
@zwarich@hachyderm.io if only there was some way to organize values into "types" with common properties,
Replies (1)
-
@zwarich@hachyderm.io 2026-05-13 18:39
@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.