Как импортировать код в SML?
В настоящее время я оцениваю задания по курсу SML. Я написал несколько тестовых случаев, чтобы автоматически проверять правильность функций в заданиях студентов, и я хотел бы иметь возможность импортировать их код и затем запускать тестовые примеры для этого кода. Я представляю что-то похожее на семантику импорта Python. Прямо сейчас, лучшее решение, которое у меня есть, это скопировать и вставить этот код внизу каждого назначения. Это возможно с SML?
2 ответа
Решение
Использование use:
use "filename.sml";
(* your test cases here *)
Если у вас есть решение для студентов в "student.sml" и ваши тестовые примеры в "tests.sml":
use "student.sml";
use "tests.sml";
Посмотрите на QCheck, библиотеку модульного тестирования для SML