In prof. Jan Vitek JuliaCon 2021 keynote, he discussed type stability and grounded type (starting at 42:30). Short definitions given at this talk are as follow.
Type is stable if we have clear relation between I/O types.
Type is grounded when
@code_warntype is green.
I want to ask is “grounded type” prof. Vitek’s term for something know in community or is it some new concept that doesn’t take roots outside core team (who is core team can be sometimes blurry)?