Функциональное программирование на языке Haskell [Udemy] [Roman Dushkin]

Функциональное программирование на языке Haskell
Научитесь программировать на языке Haskell при помощи решения практических задач

Описание
Курс «Функциональное программирование на языке Haskell» направлен на формирование у разработчика программного обеспечения функционального похода к разработке программ. Он будет полезен для расширения кругозора программиста, для слома парадигмы и повышения общей квалификации разработчика. После прохождения курса программист сможет использовать новые идиомы программирования, строя более качественные программные конструкции и реализуя более эффективный программный код. Язык программирования Haskell — мощный функциональный язык общего назначения, на котором можно реализовать любую задачу. Язык обладает всем необходимым для разработки инструментарием — мощным компилятором, интегрированной средой разработки, средствами верификации и оптимизации программ и т. д. Функциональное программирование является современной парадигмой программирования, в которой любая программа выражается через функции, чистые (без побочных эффектов) и детерминированные. Это позволяет применять к программам на языке Haskell формальные математические методы преобразования исходного кода, что даёт самые широкие просторы для глубокой оптимизации программ.

Курс состоит из 20 лекций и дополнительных материалов к ним — презентаций и краткого описания теории и метода решения поставленной задачи на языке Haskell. Первые несколько занятий посвящены тому, как развернуть необходимый инструментарий и как решать базовые задачи программирования на языке Haskell. Остальные лекции посвящены решению отдельных прикладных задач. Через такое решение даются различные идиомы языка.

Автор курса — Роман Душкин, директор по науке и технологиям Агентства Искусственного Интеллекта, который написал первую книгу на русской языке по функциональному программированию на языке Haskell.

Язык Haskell — важный язык для создания систем искусственного интеллекта.

Скрытая ссылка