which is easier to compile and enforce in a fully ...

# language-proposals

[mikehearn]

which is easier to compile and enforce in a fully dynamically linked environment with a simple type system.