Определение StandardML 97

Question

Фактическая стандартная спецификация ML - Определение стандарта ML (пересмотренная) , которая доступна на MITPress только в печатной версии.

Доступна ли она в электронном формате (pdf, ps,е)

Answer 1

номер

Я вижу это как ошибку. Спецификация языка должна быть бесплатной. В противном случае вы автоматически ограничиваете количество людей, заинтересованных в этом. Чтобы быть справедливым, хотя определение SML действительно хорошая работа - и гораздо более всеобъемлющий, чем любой другой язык. Спецификация. Наверное, это заняло гораздо больше времени!

Answer 2

Определение было недавно доступно MIT Press, а источник находится на Github , включая инструкции по компиляции PDF.