Disadvantages of purely functional programming
TLDR: memory management is hard. Again.
http://flyingfrogblog.blogspot.com/2016/05/disadvantages-of-purely-functional.html
TLDR: memory management is hard. Again.
http://flyingfrogblog.blogspot.com/2016/05/disadvantages-of-purely-functional.html
http://matt.might.net/articles/metacircular-evaluation-and-first-class-run-time-macros/
still not $vau and first-class environments, but nice
still not $vau and first-class environments, but nice
Just-in-Time Static Type Checking for Dynamic Languages
https://arxiv.org/abs/1604.03641
https://arxiv.org/abs/1604.03641
arXiv.org
Just-in-Time Static Type Checking for Dynamic Languages
Dynamic languages such as Ruby, Python, and JavaScript have many compelling benefits, but the lack of static types means subtle errors can remain latent in code for a long time. While many...
How can a dynamically typed language not actively prevent static checking? (related to previous one)
http://lambda-the-ultimate.org/node/5320
http://lambda-the-ultimate.org/node/5320
First-class environments [are to modules and encapsulation what delimited continuations are to control flow]
http://lambda-the-ultimate.org/node/3861#comment-57967
http://lambda-the-ultimate.org/node/3861#comment-57967
[very limited but reasonable] Eventrons: a safe programming construct for high-frequency hard real-time applications [in Java]
http://dl.acm.org/citation.cfm?doid=1133981.1134015
http://dl.acm.org/citation.cfm?doid=1133981.1134015
Ron Pressler [Scoped Continuations compose better than monads]
http://blog.paralleluniverse.co/2015/08/07/scoped-continuations/
http://blog.paralleluniverse.co/2015/08/07/scoped-continuations/
[esoteric language, used in the industry, formal reasoning]
https://en.wikipedia.org/wiki/Esterel
https://en.wikipedia.org/wiki/Esterel
Wikipedia
Esterel
synchronous programming language for the development of complex reactive systems
Ron Pressler Why Writing Correct Software is Hard
http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/
http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/
David Moon "http://users.rcn.com/david-moon/PLOT/page-1.html" [no implementations yet]
http://users.rcn.com/david-moon/PLOT/page-1.html
http://users.rcn.com/david-moon/PLOT/page-1.html
LISP that is better formalized than McCarthy's (quote)
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.4948
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.4948
citeseerx.ist.psu.edu
CiteSeerX — M-LISP: A Representation-Independent Dialect of LISP with Reduction Semantics
CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): In this paper we introduce M-LISP, a simple new dialect of LISP which is designed with an eye toward reconciling LISP's metalinguistic power with the structural style of operational…
So you want to write a Lisp interpreter? Welcome!
https://github.com/kanaka/mal/blob/master/process/guide.md
https://github.com/kanaka/mal/blob/master/process/guide.md
GitHub
mal/process/guide.md at master · kanaka/mal
mal - Make a Lisp. Contribute to kanaka/mal development by creating an account on GitHub.
[RU] Левенчук про системную информатику
http://ailev.livejournal.com/1272169.html#comments
http://ailev.livejournal.com/1272169.html#comments
Livejournal
Системная информатика
Моя идея остаётся прежней: моделирование, программирование, онтологизирование (и, думаю, обучение как в machine learning) -- это предметная область для одного и того же отношения абстрагирования, как мереология -- это предметная область одного и того же отношения…