Сборники тезисов • Информационные и интеллектуальные системы и технологии • Организация вычислительных систем и сетей
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015.
Реализация полиад в Haskell
УДК: 004.046
Аннотация:
В настоящее время все большую распространенность получают функциональные языки программирования, стандартом де-факто которых является язык Haskell. Данная парадигма предлагает функциональную организацию программы с использованием концепций из теории категории для работы с побочными эффектами. Такие идиомы имеют широкое распространение, однако решают поставленные инженерные задачи не в полной мере. В работе выполнен анализ используемых концепций с целью классификации по назначению и использованию, а также описание и реализация для этого языка одной из концепций высшей теории категории для решения задач связывания побочных эффектов - полиады.