Idea: Integration with JET.jl

[AriMKatz]

Use JET to guide users to write code which targets different levels of binary staticness. Maybe error if conditions are not met.

Super duper strict mode for completely static binaries with no dynamic dispatch or allocations, and no runtime required.

Kinda strict mode: No compilation of new functions, so just linking against a minimal runtime.

Sparked by discussion with @jpsamaroo on slack

[tshort]

Cool idea!

[AriMKatz]

According to @tkf this PR (JuliaLang/julia#43747) can do something similar:

[It] will let the compiler verify the absence of allocation (and access to the runtime in general)

Not sure how or if they can play together. Maybe CC @aviatesk