grammer’s intent to be declared with
the variable, making programs easier to comprehend and hence easier
to debug and maintain.</li>
<li>Strong typing allows programming errors relative to the declared
intent to be caught sooner (at compile time) rather than later (at
run time). The Stan compiler (called through an interface such as
CmdStan, RStan, or PyStan) will flag any type errors and indicate
the offending expressions quickly when the program is compiled.</li>
<li>Constrained types will catch runtime