pros of strictly-typed proglangs:

• very strict

cons of strictly-typed proglangs:

• very strict