Чтобы добавлять сообщения и комментарии, .

@ymn:
ymn

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

@olibjerd-ng:
olibjerd-ng

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

@ymn:
ymn

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

@yurlin:
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:
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:
daapp

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

@borman:
borman

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

@borman:
borman

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

@borman:
borman

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

@borman:
borman

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

@borman:
borman

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

@borman:
borman

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

@borman:
borman

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

@borman:
borman

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