Люди добрые, извините, что обращаюсь, особенно в посте, но...
Как вы знаете, у студентов сейчас самое любимое время года (если так можно выразится) - СЕССИЯ!
И эта радость как правило не оставляет равнодушным никого из касты вечнонеучащихся.
Так вот, сегодня я впервые прочитал свое задание по МатЛогике (предмет, на котором можно было в течении года если только поспать), а учитывая то, что сдавать мне его примерно чарез неделю, мой зад ощутимо чувствует необходимость каких нибудь действий.
Но радость моя была омрачена тем, что задание мое - "Написать аналог HOL на одном из современных языков программирования."
Поинтересовавшись с мудрыми людьми, о том, что же такое все таки ХОЛ, и с чем его едят, узнал о языке ML.
А прочитав про него несколько предложении вроде:

"Вопрос:
У меня проблема .... Проблема ли ?
Жизнь моя какая-то СЛИШКОМ размеренная стала в Англии ....
Ответ:
А вы найдите себе занятие посложнее для заполнения свободного времени. Например, выучите язык программирования ML: http://caml.inria.fr
Это вас займет всерьез и надолго, расширит горизонты, наполнит жизнь смыслом. Если возьметесь за это как следует, то все мысли о "слишком сладкой жизни" как рукой снимет."

и

"Очень странный язык - циклов нету, зато есть рекурсия, да еще какая!.."

как то сник слегка.
Никто случаем подсказать не может, где можно найти хорошую инфу по HOL и ML? А то все, что я читал не шибко удобоваримое. =(