But in JavaScript, for example, this is very possible ... checked annotations of return types and such, but in a dynamic language the same knowledge still exists—it's just informal and stored ...

A language that requires less rigid coding on the part of the programmer. It typically features "dynamic typing," which gives the programmer more freedom to pass parameters at runtime without ...