Python-URL! - weekly Python news and links (Feb 18)
fuzzyman at gmail.com
Mon Mar 10 16:13:23 CET 2008
On Mar 10, 2:33 pm, Piet van Oostrum <p... at cs.uu.nl> wrote:
> >>>>> Peter Otten <__pete... at web.de> (PO) wrote:
> >PO> Piet van Oostrum wrote:
> >>>>>>>> "Gabriel Genellina" <python-... at phaseit.net> (GG) wrote:
> >GG> "Given this indispensable process and architecture issue, isn't it
> >>>> obvious GG> that it's totally irrelevant to the system's overall safety
> >>>> whether the GG> compiler has performed the further smattering of
> >>>> semantically puny GG> 'verifications' allowed by mandatory-declaration,
> >>>> stating-typing GG> languages?" - Alex Martelli
I've just been at a student conference in Krakow (SFI) where I heard a
talk by Gilad Bracha on the problems with Java (and he is in a
position to know!).
I will write it up in a blog entry, but my two favourite quotes from
his talk are:
1. The programs that can be written in languages with static type
systems are a subset of all possible programs. For some people this is
2. Mandatory static typing is an inherent security risk.
He has a very interesting tale about Java to demonstrate the second
> >>> I couldn't find the original of this. I would like to see it in its
> >>> context. Googling didn't reveal anything but this Python-URL.
> >PO> My google is better than yours then:
> Thanks. I probably have searched for "mandatory-declaration, static-typing
> languages" instead of "mandatory-declaration, stating-typing languages"
> Piet van Oostrum <p... at cs.uu.nl>
> URL:http://pietvanoostrum.com[PGP 8DAE142BE17999C4]
> Private email: p... at vanoostrum.org
More information about the Python-list