<div dir="ltr"><font size="4">The discussion of Self vs. declarative programming has led to a discussion of dynamic typing vs. static typing. I wouldn't take away from the worth of such a discussion on its own merits. At the same time, I want to point out that declarative programming and dynamic typing could go together.</font><div><font size="4"><br></font></div><div><font size="4">Also, I think a hybrid may be useful, where the datatype aspect of types,  e. g. integer vs. float vs. string, would be dynamic, but the dataflow direction aspect of types would be static. Parameters to a procedure for example could be declared as copyable or linear.</font></div></div>