why do we need type checking?

Can someone explain why we must have typing in DASL?  Can we avoid it?

Received on Sunday, 19 April 1998 22:18:27 UTC