On 8 March 2015 at 13:52, Lawrence Bottorff <borg...@gmail.com> wrote:
> Does the Lisp world, specifically picoLisp, have a response to these
> insistent "Besserwisser" people?
I sincerely hope not.
Please don't turn this into a tribal thing. This is the sort of reasoning
that led to the CL community's terrifying reputation. Lisps (mostly) use
dynamic typing because their designers believe dynamic typing is more
appropriate. Dynamic typing is not, however, superior just because it's
used by Lisps. There is no need to "defend" anything with words when you
could be doing so by demonstrating superior engineering results. Nobody is
kicking in Lisp's door and taking away our programming licences because of
the dynamic types (if someone is acting like that - maybe you have an
annoying coworker IRL? - then they're not debating, they're being immature.
Don't lower the discourse by taking it to their level).
Just use the best tool for the job after carefully considering what exactly
it is you need done. All paradigms and type systems have their valid place.
You wouldn't use picoLisp to write e.g. CompCert (you could, but it'd have
to reinvent static types in order to do it; what a waste of energy). There
is no need for the hammers to declare war on the screwdrivers.
If you really need a counterargument favouring dynamic typing, consider
that there's absolutely nothing about dynamic types that's specific to Lisp
anyway: much bigger, more popular languages like Python, Ruby, JS etc. have
the same attribute and are used to build massive, reliable systems all the
time. They've already won this argument for you for all practical purposes.