🚀 go-pugleaf

David responds:

   In article  <KERS.91Mar21130048@cdollin.hpl.hp.com> Chris Dollin writes:
   ]
   ]Perhaps David should show us some examples where he thinks dynamic types are
   ]``essential''

   Can't think of a one.  Dynamic typing is a convenience and a
   productivity enhancer, but it isn't essential.

I made myself less than clear. I don't use ``essential'' in the sense of
``can't be programmed without'', because almost nothing is essential in that
sense; I meant that, without dynamic types, the expression of the code would be
more obscure, or longer, or plain inelegant.

Incidentally, David, are we arguing for dynamic typing (as in Lisp, Pop11, etc)
or simple absence of mandatory type declarations (as in ML)? It makes a
difference. 

--

Regards, Kers.      | "You're better off  not dreaming of  the things to come;
Caravan:            | Dreams  are always ending  far too soon."