Perhaps much of the power or even the success of javascript is that, in its own way, it brings us closer to the light.
It could be, with progressive typing systems (as attempted by TypeScript), with a coherent manner of synthesizing ground types (in the LC itself, subject to a kind of logical 'shield' as we might understand from Arduino), and a sensible conceptual model for dealing with side effects / threading, we could find a pure way of programmatic expression - allowing the model within our minds becomes reified once and for all.
Or, it could be that this ideal is unreachable in a fundamental sense.
For example, you can do:
my_list.map(e=>(a=>some_transform(a)+some_other(a))(sanitize(e)))
or otherwise in LC:
(map my_list (\e (\a (add (some_transform a) (some_other a))) (sanitize e)))
Perhaps much of the power or even the success of javascript is that, in its own way, it brings us closer to the light.
It could be, with progressive typing systems (as attempted by TypeScript), with a coherent manner of synthesizing ground types (in the LC itself, subject to a kind of logical 'shield' as we might understand from Arduino), and a sensible conceptual model for dealing with side effects / threading, we could find a pure way of programmatic expression - allowing the model within our minds becomes reified once and for all.
Or, it could be that this ideal is unreachable in a fundamental sense.