Функциональные языки распределённых систем
Описание
Учебное пособие посвящено введению в разработку распределённых программных систем на основе функциональной парадигмы. Изучаются основы языка Erlang, его особенности, вопросы написания рекурсивного функционального кода, способы создания высоконагруженных приложений с помощью фреймворка OTP. Изучаются вопросы взаимодействия с кодом на Java. Приведены способы моделирования и верификации сетевых протоколов. Далее изучаются основы Haskell и его применение для создания распределённых приложений. Показаны также способы автоматической генерации серверов на Erlang и Haskell. Для работы с пособием рекомендуется, но не требуется знание одного из функциональных языков программирования. Пособие снабжено заданиями для решения, а также групповым итоговым расчётным заданием. Рекомендовано Алтайским государственным техническим университетом им. И.И. Ползунова в качестве учебного пособия для студентов, обучающихся по направлению 09.04.04 «Программная инженерия» (протокол No 10 заседания НМС АлтГТУ от 19 июня 2019 г.).
