Editing Diagrams/Dev/Expression (section)

=== Cons ===

* Dynamic typing is icky

* Makes it harder to know which library functions can be used with which backends.  Currently, the type of any library function explicitly indicates which primitives it uses; without the help of the compiler/type system, users would have to just rely on documentation to know whether a certain library function will generate a diagram that will be correctly rendered with the backend they are using (or just try it and see whether it works or not).

* More generally, it would require better tooling/documentation/runtime error messages/etc., which would all need to be maintained and grow along with diagrams.