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