FLashM 2004-12-14 13:28:37
Всего постов: 437
Бород: 18
Рейтинг: +1|1|-13 = -79%
Одобрено: MakZмож
Люди добрые, извините, что обращаюсь, особенно в посте, но...
Как вы знаете, у студентов сейчас самое любимое время года (если так можно выразится) - СЕССИЯ!
И эта радость как правило не оставляет равнодушным никого из касты вечнонеучащихся.
Так вот, сегодня я впервые прочитал свое задание по МатЛогике (предмет, на котором можно было в течении года если только поспать), а учитывая то, что сдавать мне его примерно чарез неделю, мой зад ощутимо чувствует необходимость каких нибудь действий.
Но радость моя была омрачена тем, что задание мое - "Написать аналог HOL на одном из современных языков программирования."
Поинтересовавшись с мудрыми людьми, о том, что же такое все таки ХОЛ, и с чем его едят, узнал о языке ML.
А прочитав про него несколько предложении вроде:

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

и

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

как то сник слегка.
Никто случаем подсказать не может, где можно найти хорошую инфу по HOL и ML? А то все, что я читал не шибко удобоваримое. =(
Qrot 2004-12-14 16:09:50 #
а погуглить по слову HOL это акуеть какая сложная задача... мельчает студент

определение здесь http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?query=HOL&action=Search

FLashM 2004-12-14 23:22:14 #
Нет, я, конечно, благодарен, но инфы там не вижу..

Или совсем себе зрение испортил, что тоже вероятно. =)
Qrot 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/

это все с первой страницы, ага.



грустно :(
? я чото п
бубубу 2014-12-14 18:56:09 #
таг "библиотека программиста" нопремер
сбюфемхел 2017-06-18 15:25:36 #
И животноводство!
Рвун Чехлов 2017-06-18 22:51:49 #
Чо за ML? Функциональщина штоль какая-то?
++, --, п/к?
димабилан 2022-04-04 01:00:37 #
лучшебы написал куайн на хаскеле
Бепокот 2022-04-05 07:25:08 #
ну как, сессия-то закончилась? или нет?

приколов.нет Байанометр СКОТОБАЗА АТАТАТ yaplakal.com
© СВАЛКА, 2003–2024. Авторы двиШка: megath[aka duro], skupr, спасибо MakZ'у за пинки ;), Methos'у за скин sandbox, Татьяне за синий скин, Сверстайго Сайтег за вебдванолизацию синего скина.
Также огромное спасибо всем, кто сюда что-то когда-то постил, и тем, кто постил тем, кто постил, а также - авторам )))