There are some ways that functional programming languages still lack when compared to C; in particular they fail to export their constructs for use in other languages.
Compilers and linkers put their own version information in ELF binaries; we can inspect
with readelf on the .comment section, to wit:
One PL nihilism is "all languages are the same." This is not so—general-purpose languages have converged on procedures, but languages that differ nontrivially are used in computing.
Universal ctags points the cursor to
line numbers rather than the actual definition (as language servers do). Vim
uses ex (:h Ex-mode) commands as destinations.
We want to generate call cursor(line,col) for each identifier.
Functional programmers vaunt the Curry-Howard(-Lambek) correspondence, as if it endorses the lambda calculus. In fact, it shows the limitations of computer science.
prev | next