Andreas Rossberg <[EMAIL PROTECTED]> writes: > Pascal Costanza wrote: >> Consider a simple expression like 'a + b': In a dynamically typed >> language, all I need to have in mind is that the program will >> attempt to add two numbers. In a statically typed language, I >> additionally need to know that there must a guarantee that a and b >> will always hold numbers. > > I'm confused. Are you telling that you just write a+b in your programs > without trying to ensure that a and b are in fact numbers??
Of course. (shadow '(+ *)) (defun + (&rest args) `(+ ,@args)) (defun * (&rest args) `(* ,@args)) (let ((var 'x) (init 'b) (slop 'a)) (+ init (* slop var))) --> (+ B (* A X)) -- __Pascal Bourguignon__ http://www.informatimago.com/ Nobody can fix the economy. Nobody can be trusted with their finger on the button. Nobody's perfect. VOTE FOR NOBODY. -- http://mail.python.org/mailman/listinfo/python-list