ymn
sml fp А есть ли у кого-нибудь "Modern Compiler Implementation in ML"? Хотел было полистать, но не смог нагуглить, лол.
yurlin
sml OCaml compilers reading Россыпь ссылок в блоге 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
ymn
sml racket Coursera Ruby Скоро на курсере начнется годный курс "Programming Languages".

"This course is an introduction to the basic concepts of programming languages, with a strong emphasis on functional programming. The course uses the languages ML, Racket, and Ruby as vehicles for teaching the concepts, but the real intent is to teach enough about how any language “fits together” to make you more effective programming in any language — and in learning new ones"

class.coursera.org
daapp
sml Haskell Moscow ML позволяет сделать автономный исполняемый файл, зависящий от системных разделяемых библиотек, размером от 94Kb. Просто замечательно. Это я ищу, на чём бы в openwrt скрипты писать. Lua в топку — это понятно. А теперь вот попробую hugs обрезать.
borman
sml mlton няшка программизм Хоть собранная через mlton прога и работает с памятью изо всех сил, как оказалось, все не так печально, как могло показаться — cachegrind показал процент промахов по всем кешам не более 0.3% Кстати, его показаниям можно доверять?
borman
sml mlton программизм Профайлер — няшка! Особенно мне понравилось в ФП, ибо во-первых, при написании кода гораздо сложнее оценивать производительность, а во-вторых, код гораздо более компактный, что делает его вывод в стопицот раз более релевантным.
borman
sml программизм Давненько я так вдумчиво не прогал... Решил в качестве своей первой проги на SML написать трассировщик лучей, ибо все равно давно хотелось убедиться, что я это могу. Целый день скрипел мозгами, закодил. Fuck yeah, а оно мне нравится! Правда, пока мой трассировщик многого не умеет, освещению я его не научил, так что он выводит только карту глубины и получаются няшнокартинки вроде этой: i.imgur.com