🚀 go-pugleaf

Tom Thomson says (among other things):

   (v) Type systems in functional languages are far too simple-minded; can't
    handle polymorphism unless it's parametric polymorphism with all 
    parameters resolvable at compile time. (If only the functional people,
    the OO people, and the type-theory people would talk to each other; again
   Haskell has made a step forwards, but it's a smal one ).

A language need not have a compile-time type system to be functional. Indeed,
early languages like SASL and KRC (and EL Ziro, which is the language I
implemented for my thesis lo! those many years ago) were dynamically typed.

I've gone off strict compile-time type-checking since I started using
dynamically-typed languages. See how easy it is to get corrupted?
--

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