[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Macros and little languages



Matthias Felleisen wrote:
> > 
> > Could you expand a bit on what you're saying?  Is it simply that providing
> > an untyped function as an argument to a typed function means that the typed
> > function can no longer be guaranteed to be typesafe?
> 
> 1. Safety and types are barely related. PERIOD. PLT Scheme is safe. I
> think Perl is safe. There are plenty of pythonistas around to speak up
> on the issue.

I'm tempted to say "please define safe", but if you mean what I think
you mean, I think the answer is "yes, Python is safe".

(but be warned that I'm a pythoneer, not a pythonista ;-)

</F>