[plt-scheme] Why do folks implement *dynamically* typed languages?

On 6/2/07, Robby Findler <robby at cs.uchicago.edu> wrote:
> On 6/2/07, Richard Cleis <rcleis at mac.com> wrote:
> >
> > On Jun 2, 2007, at 1:48 PM, Joe Marshall wrote:
> >
> > > On 6/2/07, Richard Cleis <rcleis at mac.com> wrote:
> > >>
> > >> Are we 'ordered' into software prisons that have too much freedom?
> > >> Do we choose type systems to introduce a higher level of
> > >> civilization?  Are we trying to escape to other programming
> > >> paradigms?
> > >
> > > Colonel Nicholson was insane.
> > > --
> > > ~jrm
> >
> > ... yet, the rest of us provably are not insane.  That's why subjects
> > like these are non-controversial.
>
> I'm not provably sane. :)
>
> Robby

If I'm provably not insane, then I'm either inconsistent or not
formally recursively enumerable.

-- 
~jrm