Я пытаюсь научиться писать элегантный стандартный код ML, читая код или проекты других. Кто-нибудь знает о хорошем коде/проектах?Что такое высококачественный стандартный код/проекты ML для изучения?
2
A
ответ
2
Я нашел компилятор MLton отличным источником для изучения модульной системы.
Twelf theorem prover также имеет множество примеров высокого качества.
Учетная запись github standardml имеет ряд проектов различного качества. Как-то там оказалась моя библиотека sml-ext. Я не знаю, как это сделать.
+0
+1 для MLton. Отличный проект для обучения не только SML, но и организации компилятора. Документация в вики очень четко описывает высокоуровневый обзор компилятора. –
Извините, кажется, здесь оффтоп. –