← All posts tagged Scheme

yurlin

Вот это я понимаю название для проекта:

Stalin brutally optimizing Scheme compiler.
Stalin — a STAtic Language ImplementatioN
Finally, a Lisp compiler that does what it should...
github.com

Впрочем, если пройти по ссылкам оттуда на университетскую страницу товарища Jeffrey Mark Siskind из Purdue University, то можно увидеть там Screamer и Abigail (ничего не могу поделать, навевает мысли о персонажах фильмов Лючио Фульчи).

Есть однако и Stalingrad (записывается как Stalin и оператор градиента):

bcl.hamilton.ie
функциональный фреймворк, что представляет reverse-mode AD (automatic differentiation) как first-class function в ФЯ, а потом они и до HOF добираются. Wiki говорит, что AD, дескать, не symbolic differentiation и не numerical differentiation, свободно от проблем этих методов со сложностью по времени и ошибками округления. Сам я pdf просмотрел по диагонали, на 18й наткнулся на Church encoding, когда они true, false, if-then-else, car, cdr и прочее перемололи на лямбде, и читать по диагонали стало сложнее.

yurlin

Всё это уже кому-то на глаза попадалось, но пусть будет и здесь.

"Scheme 9 from Empty Space: A Guide to Implementing Scheme in C, 2nd ed"
t3x.org

Free pdf of the 1st ed of "Scheme 9 From Empty Space"
bcl.hamilton.ie

"Logic Programming in Scheme" (zip w/ pdf)
[this work has been greatly influenced by the book "The Reasoned Schemer" by Daniel P. Friedman, et al.]
bcl.hamilton.ie

Montreal Scheme/Lisp User Group
"The 90 Minute Scheme to C compiler by Marc Feeley"
iro.umontreal.ca

и чтобы два раза не вставать Advanced Compilers Reading Lists из Univ. of California, San Diego [UCSD]
keywords: Compiler Correctness, Pointer Analysis, Error Detection [... for C-level Langs], Concurrency
преимущественно статьи c POPL и PLDI с 1999 по 2011 год
cseweb.ucsd.edu