. . because all the ML-derivative languages (Haskell, F#, Ocaml) say you absolutely HAVE to have a strong type system in order to program with the big boys and girls. Likewise, they talk reverently about functors and monads. Does the Lisp world, specifically picoLisp, have a response to these insistent "Besserwisser" people?