From: Ben Tilly <ben_tilly@...>
Date: 2001-01-16T00:06:54+09:00
Subject: [ruby-talk:9337] Re: 101 Misconceptions About Dynamic Languages

jweirich@one.net wrote:
>
> >>>>> "Patrick" == Patrick Logan <patrickdlogan@home.com> writes:
>
>     Patrick> In fact, I can cause the entire process to be corrupted
>     Patrick> because of this, and worse. It is a misnomer to say that
>     Patrick> C++ is *strongly* typed. It is not.
>
>Hi Patrick,
>
>Can you give an example of a language that is both strongly and
>statically typed given your definitions?

ML is an example.

For an interesting talk on typing try
http://perl.plover.com/yak/typing/typing.html.
Despite the name of the URL, it is more of a survey of
different approaches to typing in different languages
than it is a discussion of Perl.  In fact a good chunk
of it is about ML's type system.

Cheers,
Ben
_________________________________________________________________
Get your FREE download of MSN Explorer at http://explorer.msn.com