Open WMJi opened 8 years ago
John Backus asserted that assignment statements in von Neumann languages split programming into two worlds. The first world consists of expressions, an orderly mathematical space with potentially useful algebraic properties: most computation takes place here. The second world consists of statements, a disorderly mathematical space with few useful mathematical properties (structured programming can be seen as a limited heuristic that does apply in this space, though).
Backus claimed that there exists now in computer science a vicious cycle where the long standing emphasis on von Neumann languages has continued the primacy of the von Neumann computer architecture, and dependency on it has made non-von Neumann languages uneconomical and thus limited their further development: the lack of widely available and effective non-von Neumann languages has deprived computer designers of the motivation and the intellectual foundation needed to develop new computer architectures.
https://en.wikipedia.org/wiki/Von_Neumann_programming_languages
https://en.wikipedia.org/wiki/John_Backus
https://en.wikipedia.org/wiki/FP_(programming_language) https://en.wikipedia.org/wiki/FL_(programming_language)
https://en.wikipedia.org/wiki/Lucid_(programming_language)
https://en.wikipedia.org/wiki/NGL_(programming_language)
https://en.wikipedia.org/wiki/ZPL_(programming_language)
https://en.wikipedia.org/wiki/Mercury_(programming_language)
The J language is really interesting, an introduction of which can be found here.
In bring gears and levers to coding by designing a new language, I noticed that, what I am doing is basically designing a new functional language with variables. I hope it can be more interesting, so I did some google, and found something interesting:
https://dl.acm.org/citation.cfm?id=359579 http://delivery.acm.org/10.1145/360000/359579/a1977-backus.pdf
https://en.wikipedia.org/wiki/Flow-based_programming