Люди добрые, извините, что обращаюсь, особенно в посте, но...
Как вы знаете, у студентов сейчас самое любимое время года (если так можно выразится) - СЕССИЯ!
И эта радость как правило не оставляет равнодушным никого из касты вечнонеучащихся.
Так вот, сегодня я впервые прочитал свое задание по МатЛогике (предмет, на котором можно было в течении года если только поспать), а учитывая то, что сдавать мне его примерно чарез неделю, мой зад ощутимо чувствует необходимость каких нибудь действий.
Но радость моя была омрачена тем, что задание мое - "Написать аналог HOL на одном из современных языков программирования."
Поинтересовавшись с мудрыми людьми, о том, что же такое все таки ХОЛ, и с чем его едят, узнал о языке ML.
А прочитав про него несколько предложении вроде:
"Вопрос:
У меня проблема .... Проблема ли ?
Жизнь моя какая-то СЛИШКОМ размеренная стала в Англии ....
Ответ:
А вы найдите себе занятие посложнее для заполнения свободного времени. Например, выучите язык программирования ML: http://caml.inria.fr
Это вас займет всерьез и надолго, расширит горизонты, наполнит жизнь смыслом. Если возьметесь за это как следует, то все мысли о "слишком сладкой жизни" как рукой снимет."
и
"Очень странный язык - циклов нету, зато есть рекурсия, да еще какая!.."
как то сник слегка.
Никто случаем подсказать не может, где можно найти хорошую инфу по HOL и ML? А то все, что я читал не шибко удобоваримое. =(
2004-12-14 23:22:14
Нет, я, конечно, благодарен, но инфы там не вижу..
Или совсем себе зрение испортил, что тоже вероятно. =)
Или совсем себе зрение испортил, что тоже вероятно. =)
2004-12-15 01:10:01
не, это не со зрением проблемы.. это с головой
тыкаем в сылочку с определением выше, там тыкаем в гугл и...
http://www.cl.cam.ac.uk/Research/HVG/HOL/
http://www.afm.lsbu.ac.uk/hol/
http://hol.sourceforge.net/
это все с первой страницы, ага.
грустно :(
тыкаем в сылочку с определением выше, там тыкаем в гугл и...
http://www.cl.cam.ac.uk/Research/HVG/HOL/
http://www.afm.lsbu.ac.uk/hol/
http://hol.sourceforge.net/
это все с первой страницы, ага.
грустно :(
определение здесь http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?query=HOL&action=Search