Люди добрые, извините, что обращаюсь, особенно в посте, но...
Как вы знаете, у студентов сейчас самое любимое время года (если так можно выразится) - СЕССИЯ!
И эта радость как правило не оставляет равнодушным никого из касты вечнонеучащихся.
Так вот, сегодня я впервые прочитал свое задание по МатЛогике (предмет, на котором можно было в течении года если только поспать), а учитывая то, что сдавать мне его примерно чарез неделю, мой зад ощутимо чувствует необходимость каких нибудь действий.
Но радость моя была омрачена тем, что задание мое - "Написать аналог HOL на одном из современных языков программирования."
Поинтересовавшись с мудрыми людьми, о том, что же такое все таки ХОЛ, и с чем его едят, узнал о языке ML.
А прочитав про него несколько предложении вроде:
"Вопрос:
У меня проблема .... Проблема ли ?
Жизнь моя какая-то СЛИШКОМ размеренная стала в Англии ....
Ответ:
А вы найдите себе занятие посложнее для заполнения свободного времени. Например, выучите язык программирования ML: http://caml.inria.fr
Это вас займет всерьез и надолго, расширит горизонты, наполнит жизнь смыслом. Если возьметесь за это как следует, то все мысли о "слишком сладкой жизни" как рукой снимет."
и
"Очень странный язык - циклов нету, зато есть рекурсия, да еще какая!.."
как то сник слегка.
Никто случаем подсказать не может, где можно найти хорошую инфу по HOL и ML? А то все, что я читал не шибко удобоваримое. =(
тем идиотам что попадаются на письма щасья и прочую ботву посвящается.
http://saratoff.ru/?chap=krim&com=news&act=show&id=6707
http://saratoff.ru/?chap=krim&com=news&act=show&id=6707
![[1]](https://svalko.org/data/2008_12_05_23_06_344103_1.gif){kind=link}
Вопросы читателей «Красной бурды» про воспитание детей
*Ребенок бьет кота подушкой. Как ему объяснить, что кота надо бить веником?
*Помогите выбрать имя для ребенка. Скоро ему в школу, а там требуют, чтобы обязательно было имя.
*Можно ли кормить ребенка манной кашей, если она противная? Ребенок говорит, что противная. Я сам попробовал — действительно противная. Может быть, не стоит слепо верить «Книге о детском питании»?
*Записали ребенка на курсы вытирания попы. Ходим уже две недели, результатов никаких. Сколько еще надо ходить или лучше бросить?
*Ребенку уже пять лет, а он вовсю не интересуется вопросами пола, не реагирует на рисунки откровенного содержания. Нет ли тут задержки умственного развития?
*Мой ребенок не засыпал всю ночь, а волчок так и не пришел и за бочок его не укусил. Боюсь, что с Бабайкой будет та же история. Подскажите, как еще можно влиять на ребенка? И если будет время, ответьте, когда Россия станет действительно правовым государством? Последнее не обязательно.
*Девочка пришла с прогулки с синяками и разбитыми костяшками на кистях рук. На все вопросы отвечает, что упала. У ее лучшей подруги точно такие же синяки. Терапевт, к которому мы обратились, говорит, что до свадьбы все заживет. До какой свадьбы, ведь они же ПОДРУГИ?!
*Мой сын обратился ко мне за кредитом в счет погашения задолженности по алиментам. Какими нормативными актами мне необходимо руководствоваться, чтобы юридически грамотно оформить сделку?
*Ребенку постоянно присылают повестки хулиганы из какого-то Ленинского военкомата. У мальчика пропал аппетит, стал плохо спать, кричит по ночам слово «нет». Подскажите, какие препараты надо принимать малышу, чтобы избавиться от этих кошмаров?
*Ребенок грыз ногти. Что делать? Мы посоветовали ему царапать обои, как наша кошка. Он внял нашему совету и стал царапать обои. Ногти грызть перестал. А недавно я заметила, что он грызет обои! Что делать?
*Ребенок не хочет утром просыпаться и идти в детский садик. Как объяснить ребенку, что его никто не спрашивает?
*Ребенок отказывается пользоваться памперсом, мотивируя это тем, что у него и так сухая попка. Как объяснить ребенку пользу памперсов?
*Ребенок читает вслух надписи в подъезде. Как научить ребенка читать про себя?
*Ребенок изо всего вырастает, уже денег никаких нету. Говорят, в Японии делают какие-то бонсаи, чтобы дерево старилось, а росту не прибавляло. Напишите, как вырастить ребенка бонсаем?
*Уважаемые педагоги и родители, объясните моему пятилетнему переростку, что если у него было пять апельсинов, а два он потерял, то осталось три! Прошу вас, поспешите. Его жизни угрожает опасность!!
*Ребенок бьет кота подушкой. Как ему объяснить, что кота надо бить веником?
*Помогите выбрать имя для ребенка. Скоро ему в школу, а там требуют, чтобы обязательно было имя.
*Можно ли кормить ребенка манной кашей, если она противная? Ребенок говорит, что противная. Я сам попробовал — действительно противная. Может быть, не стоит слепо верить «Книге о детском питании»?
*Записали ребенка на курсы вытирания попы. Ходим уже две недели, результатов никаких. Сколько еще надо ходить или лучше бросить?
*Ребенку уже пять лет, а он вовсю не интересуется вопросами пола, не реагирует на рисунки откровенного содержания. Нет ли тут задержки умственного развития?
*Мой ребенок не засыпал всю ночь, а волчок так и не пришел и за бочок его не укусил. Боюсь, что с Бабайкой будет та же история. Подскажите, как еще можно влиять на ребенка? И если будет время, ответьте, когда Россия станет действительно правовым государством? Последнее не обязательно.
*Девочка пришла с прогулки с синяками и разбитыми костяшками на кистях рук. На все вопросы отвечает, что упала. У ее лучшей подруги точно такие же синяки. Терапевт, к которому мы обратились, говорит, что до свадьбы все заживет. До какой свадьбы, ведь они же ПОДРУГИ?!
*Мой сын обратился ко мне за кредитом в счет погашения задолженности по алиментам. Какими нормативными актами мне необходимо руководствоваться, чтобы юридически грамотно оформить сделку?
*Ребенку постоянно присылают повестки хулиганы из какого-то Ленинского военкомата. У мальчика пропал аппетит, стал плохо спать, кричит по ночам слово «нет». Подскажите, какие препараты надо принимать малышу, чтобы избавиться от этих кошмаров?
*Ребенок грыз ногти. Что делать? Мы посоветовали ему царапать обои, как наша кошка. Он внял нашему совету и стал царапать обои. Ногти грызть перестал. А недавно я заметила, что он грызет обои! Что делать?
*Ребенок не хочет утром просыпаться и идти в детский садик. Как объяснить ребенку, что его никто не спрашивает?
*Ребенок отказывается пользоваться памперсом, мотивируя это тем, что у него и так сухая попка. Как объяснить ребенку пользу памперсов?
*Ребенок читает вслух надписи в подъезде. Как научить ребенка читать про себя?
*Ребенок изо всего вырастает, уже денег никаких нету. Говорят, в Японии делают какие-то бонсаи, чтобы дерево старилось, а росту не прибавляло. Напишите, как вырастить ребенка бонсаем?
*Уважаемые педагоги и родители, объясните моему пятилетнему переростку, что если у него было пять апельсинов, а два он потерял, то осталось три! Прошу вас, поспешите. Его жизни угрожает опасность!!