to post messages and comments.

@ymn:

А есть ли у кого-нибудь "Modern Compiler Implementation in ML"? Хотел было полистать, но не смог нагуглить, лол.

@olibjerd-ng:

Нужен ли Standard ML, когда знаю OCaml?

@ymn:
sml

Люблю Standard ML. Такие дела.

@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

@ymn:

Скоро на курсере начнется годный курс "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:

Moscow ML позволяет сделать автономный исполняемый файл, зависящий от системных разделяемых библиотек, размером от 94Kb. Просто замечательно. Это я ищу, на чём бы в openwrt скрипты писать. Lua в топку — это понятно. А теперь вот попробую hugs обрезать.

@borman:

Тащемта, написание парсера прошло вполне няшно. Если б еще дебаггер был...

@borman:

Дано: синтаксический анализатор в 200 строчек. Задача: найти баг, сохранить душевное здоровье.

@borman:

Жуйк, а чем бы подебажить код на SML?

@borman:

АААА СУКА ТРИ ЭКРАНА ОШИБОК КОМПИЛЯЦИИ!!!111

@borman:

Хоть собранная через mlton прога и работает с памятью изо всех сил, как оказалось, все не так печально, как могло показаться — cachegrind показал процент промахов по всем кешам не более 0.3% Кстати, его показаниям можно доверять?

@borman:

Хех, а написание трассировщика лучей — увлекательное занятие. Мне понравилось :) i.imgur.com

@borman:

Профайлер — няшка! Особенно мне понравилось в ФП, ибо во-первых, при написании кода гораздо сложнее оценивать производительность, а во-вторых, код гораздо более компактный, что делает его вывод в стопицот раз более релевантным.

@borman:

Давненько я так вдумчиво не прогал... Решил в качестве своей первой проги на SML написать трассировщик лучей, ибо все равно давно хотелось убедиться, что я это могу. Целый день скрипел мозгами, закодил. Fuck yeah, а оно мне нравится! Правда, пока мой трассировщик многого не умеет, освещению я его не научил, так что он выводит только карту глубины и получаются няшнокартинки вроде этой: i.imgur.com