I think that LISP like languages (like OCaml) suit top down programmers.
Actually they are good for all sorts of problems.
They match the ‘chunking’ of humans better than other languages.
LISP, Scheme but not OCaml can trivially create programs.

A significant part of our DNA builds the brain.
The information in our DNA is somewhat less than that in Windows, even after compression I think.

A great deal of the DNA information is devoted to<ol>
<li>embodiment
<li>Proprioception?
<li>several emotions
<li>survival in the jungle
<li>Visual cortex
<li>Auditory
<li>Olfactory
<li>Speech (Wernicke, Broca)
<li>Innate gramar (Chomsky)
<li>Logic
<li>Mirror neurons
</ol>
The stuff you are born with.
Early AI’s can do without much of this stuff.