@sc13ts@mastodon.social Ah yeah, those two should* definitely have different types at least. Bit like using lifetimes to track effects rather than memory, and the "can escape and run whenever" closures would be 'static.

* (depending on the target audience, power and weight requirements, etc.)