Скачать Сошников - Функциональное программирование (2010)

[Гаврош]

Функциональное программирование
Автор: Дмитрий Сошников

Курс знакомит слушателей с парадигмой функционального программирования, в которой решение задач сводится к описанию функций, перерабатывающих некоторые входные данные в выходные и строящихся из более простых функций на основе принципов функциональной абстракции и аппликации. Рассматриваются теоретические основы функционального программирования (лямбда-исчисление, комбинаторная логика, вопросы вычислимости), на примере функционального подхода дается представление о некоторых теоретических разделах компьютерных наук (семантика языков программирования, доказательство программ). С другой стороны курс содержит значительную практическую составляющую, основанную на промышленном языке программирования F# (входит в состав Microsoft Visual Studio 2010), рассматриваются вопросы использования функциональных языков для построения компиляторов, грамматического разбора и т.д.
Курс будет интересен как практикующим программистам и студентам, изучившим основы компьютерных наук, так и математикам. Для программистов на императивных языках знакомство с функциональным подходом позволит расширить сознание, перейти на более чистый (свободный от побочных эффектов) стиль программирования с более высоким уровнем абстракции, научиться эффективно использовать новые возможности современных императивных языков (LINQ, лямбда-выражения и т.д.). Для математиков, функциональное программирование может служить безболезненным введением в компьютерные науки, поскольку в рамках курса мы практически «с нуля» строим (начиная от математических основ, вплоть до реализации интерпретатора/компилятора и описания формальной семантики) язык программирования на базе лямбда-исчисления – раздела дискретной математики.

У вас нет прав на просмотр ссылок, пожалуйста: Вход или Регистрация

Для просмотра скрытого контента необходимо Войти или Зарегистрироваться.

 

[Bezlikii]

Отзыв:

1. Качество материала хорошее.
2. Отличный и подробный курс по функциональщине с использованием F#. Постоянно присутствуют сопоставления, раскрыто огромное количество тем. Написано понятным зыком, имеются упражнения для закрепления. Также имеется много примеров.
3. Минусов у курса нет.
4. Использовал, когда мой знакомый подсел на F#. Дабы поддерживать беседу пришлось погуглить на тему и наткнулся на этот курс. Свою задачу он решил, более того я даже заинтересовался такими языкам и такой парадигмой.
5. Оценка 8 из 10. Рекомендую тем, кому хочется чего-то нового