<div dir="auto">My first language was Algol (1965), second was Fortran during a summer job that year.  After that Lisp,  C, Pascal (which I taught without having used it before), then Java, Java, Java.  The Algol beginning was very valuable.<br><br><div data-smartmail="gmail_signature">---<br>Frank C. Wimberly<br>140 Calle Ojo Feliz, <br>Santa Fe, NM 87505<br><br>505 670-9918<br>Santa Fe, NM</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Aug 8, 2020, 11:00 AM jon zingale <<a href="mailto:jonzingale@gmail.com">jonzingale@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">When McWhorter came to the Lensic on one of his tours, he made a rhetorically<br>
powerful argument against the Whorfian hypothesis in natural languages. I<br>
now tend to side with him, even though I cannot really remember the<br>
structure of his argument. On the other hand, SteveS makes a great point<br>
regarding translations of programs between languages. Barry's comment also,<br>
for me, rings true. Perhaps, a kernel of the programmer's first language is<br>
to be found in all future writing. Computer languages, unlike Athena, do not<br>
come fully formed from the head. The state of the art continues to be under<br>
radical development and is not just engaged in an empty proliferation of<br>
simulacra. The work of logicians and philosophers, each with a stake in the<br>
development of human thinking itself, continue to help move the art forward.<br>
The ideas of Categorical logicians continue to develop languages like<br>
Haskell, and those (academic) ideas continue to direct and further refine<br>
the development of otherwise sprawling spaghetti monster languages like<br>
javascript (React, for instance). The work of homotopy type theorists<br>
continues to improve our understanding of automatic proof, the reasonability<br>
of mathematical objects, and refinement of philosophically useful notions<br>
like dependent typing (Agda, Coq, Isabelle). The interactions here are rich<br>
and not unidirectional. The ideas being developed are meaningful to the<br>
state-of-the-art and not just more FORTRAN. While it might be true that<br>
Alonzo Church gave us computation, there is still much to be discovered.<br>
<br>
<br>
<br>
--<br>
Sent from: <a href="http://friam.471366.n2.nabble.com/" rel="noreferrer noreferrer" target="_blank">http://friam.471366.n2.nabble.com/</a><br>
<br>
- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .<br>
FRIAM Applied Complexity Group listserv<br>
Zoom Fridays 9:30a-12p Mtn GMT-6  <a href="http://bit.ly/virtualfriam" rel="noreferrer noreferrer" target="_blank">bit.ly/virtualfriam</a><br>
un/subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
archives: <a href="http://friam.471366.n2.nabble.com/" rel="noreferrer noreferrer" target="_blank">http://friam.471366.n2.nabble.com/</a><br>
FRIAM-COMIC <a href="http://friam-comic.blogspot.com/" rel="noreferrer noreferrer" target="_blank">http://friam-comic.blogspot.com/</a> <br>
</blockquote></div>