David Hopwood wrote: > Marshall wrote: >> The real question is, are there some programs that we >> can't write *at all* in a statically typed language, because >> they'll *never* be typable? > > In a statically typed language that has a "dynamic" type, all > dynamically typed programs are straightforwardly expressible.
What about programs where the types change at runtime? Pascal -- 3rd European Lisp Workshop July 3 - Nantes, France - co-located with ECOOP 2006 http://lisp-ecoop06.bknr.net/ -- http://mail.python.org/mailman/listinfo/python-list
