Because it isn't appropriate to their objective: > It's intended as a resource for researchers, designers and implementors of static type systems, as well as p

Because it isn't appropriate to their objective: > It's intended as a resource for researchers, designers and implementors of static type systems, as well as programmers interested in how type systems fit together (or don't). [emphasis added] Change the objective, and dynamic type systems would be appropriate.