Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!udel!haven!ni.umd.edu!uc780.umd.edu!cs450a03
From: cs450a03@uc780.umd.edu
Newsgroups: comp.lang.misc
Subject: RE: Run-time Type Errors in Smalltalk
Message-ID: <18APR91.08181029@uc780.umd.edu>
Date: 18 Apr 91 08:18:10 GMT
References: <1917@optima.cs.arizona.edu> <jls.671951286@rutabaga>
Sender: usenet@ni.umd.edu (USENET News System)
Organization: The University of Maryland University College
Lines: 18
Nntp-Posting-Host: uc780.umd.edu

Jim Showalter writes:

>Bzzzzzzt. Thank you for playing.

*sigh* *yawn*

>I defy you to come up with a way to ensure that you have traversed
>all possible paths through a dynamically-typed program that could
>conceivably send the wrong message to the wrong recipient.

Design the program so that there are only a small number of paths in
any given module.  Test each module before using.

One of the advantages of dynamic typing is that it allows you to
represent information as data which, in a statically typed language,
can only be represented as control flow.

Raul Rockwell