Универ, ФП

На примере Лиспа (лицоладонь) показывают основные концепции. Вообще достаточно упрощенно.

Правда, но я прогулял весь курс ибо работал :(. Поэтому хз что там было.

А правда ты по поделишься линком на страницу препода или другой подобной инфой? :)

О самом ФП рассказывали мало. Матана на других лекциях было МНОГО (30-40% вылетело с нашего потока из-за несданной дискретки)

Что входило в лекции: основные концепции и примеры простых программок на OCaml'е. Структурная индукция и доказательства корректности. В тот же курс напихали грамматики, конечные автоматы... и да это всё с задачками на OCamlе.

У моей знакомой с соседнего факультета было ФП. Давали всего понемногу: лямбда-исчисление; комбинаторную логику и т.д. Лабораторные были на Haskell'е, и я их с удовольствием делал за неё.

Что было у нас в универе:

http://www.botik.ru/~abram/haskell/ — ФП на примере Haskell'а.

http://www.botik.ru/~abram/mca/ — Метавычисления, суперкомпиляция.

Способности к освоению математики (практически любого её раздела) зависят от развития соответствующей зоны мозга. Так, при дискулькии проблемы возникают уже на этапе запоминания чисел — человек не понимает, что значит то или иное число.

ФП требует более основательной математической подготовки, чем «просто программирование». И здесь вылезает та же проблема, что и при дискулькии — но в более «мягкой» форме: неразвитость соответствующей зоны мозга блокирует все попытки обучения.

Способности счёта — вторичны, и развить их «в лоб» не получится. Потому очень умные чуваки, исследовавшие работу мозга, начинают его тормошить, развивая речь. Чтение и написание текстов, очень много и очень долго (и разумеется, регулярно). ЯП для этой же цели — Scheme.

Вроде, всё. Ссылок на книжки по работе мозга и дальнейшего обоснования тезисов не будет, ибо лениво.

Не правда, но что мешает посмотреть на курс в mit или berkley?

Ищи курс лекций Хендерсона - он даже есть в переводе на русский.

Собственно, вот: http://lib.uni-dubna.ru/search/files/inf_henderson_func_prog/ch_1-2.pdf

Уже не помню таких вещей :(. Возможно что часть была с intuit.ru (http://www.intuit.ru/department/pl/haskel98/). Кстати, неплохой сайтец, там много чего есть на халяву. По крайней мере было. Щас вот регистрация обязательная :(

всем спасибо!