> Otherwise you'll have runtime type errors which would be just as bad as runtime parsing errors.
Parsing errors in script shells can easily go unnoticed (until you realize your data is corrupted).
Parsing errors in script shells can easily go unnoticed (until you realize your data is corrupted).
Aside: that's what the stat command is for. My big concern with types is how would you make sure that the output of a command will always have the right types? Otherwise you'll have runtime type errors which would be just as bad as runtime parsing errors.