← All posts tagged compilers

yurlin

Россыпь ссылок в блоге Yin Zhu (прилетело ретвиттом):
"A reading list on F# and other ML languages"
fdatamining.blogspot.hk

Пост обновлялся в декабре 2012, часть pdf находится на CiteSeer, а значит не пропадёт в ближайшее время. В последней секции Courses and tutorials присутствуют любопытные ссылки на следующие курсы (2011, '12, '13):

Cornell CS3110. Data Structures and Functional Programming. (uses OCaml)
cs.cornell.edu

Harvard CS51. Introduction to Computer Science II: Abstraction and Design. (uses OCaml)
cs51.seas.harvard.edu

IT University of Copenhagen. Programs as data. (uses F#)
itu.dk

Yale CS421. Compilers and Interpreters. (uses SML)
flint.cs.yale.edu

Resources и Lecture Notes наличествуют. В комментариях ещё moar ссылок накидали!

И чтобы два раза не вставать, подкинули также

Andrew W. Appel "A Runtime System" (1990)
citeseerx.ist.psu.edu

David Tarditi et al. "No Assembly Required: Compiling Standard ML to C" (1990)
citeseer.ist.psu.edu

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