What is Expressiveness in a Computer Language
pjb at informatimago.com
Thu Jun 22 14:15:37 CEST 2006
Andreas Rossberg <rossberg at ps.uni-sb.de> 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??
(shadow '(+ *))
(defun + (&rest args) `(+ , at args))
(defun * (&rest args) `(* , at 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.
More information about the Python-list