Заседание семинара "Математическое обеспечение высокопроизводительных вычислительных систем" 20.12.2017 в 15-00. "Функционально-императивный язык программирования El", Малявко Александр Антонович

Cеминар ИВМиМГ СО РАН: 
Математическое обеспечение высокопроизводительных вычислительных систем
Дата / Время проведения: 
среда, 20 декабря, 2017 - 08:00
Место проведения: 
малый конференц-зал ИВМиМГ СО РАН (1-233)
Докладчик
Ф.И.О. докладчика: 
Малявко Александр Антонович
Ученая степень: 
К.т.н.
Ученое звание: 
Доцент
Место работы: 
кафедра вычислительной техники НГТУ
Название доклада: 
Функционально-императивный язык программирования El
Аннотация доклада: 

В работе обсуждается тенденция взаимопроникновения функциональной и императивной парадигм программирования в современные их реализации. Предлагается новый функционально-императивный язык программирования El, во многом похожий на функциональный язык Эрланг, но отличающийся от него рядом особенностей. Приводится краткое описание лексики, синтаксиса и семантики языка El. Выделяются его основные отличительные черты и характеристики: чистые функции, функции первого и высшего порядка, анонимные функции, замыкания, перегрузка сигнатур функций, локальность сбора мусора, императивность выполнения операций в теле функции, высокоуровневые типы данных и операции над ними, вариативность статической и динамической типизации а также иммутабельности переменных по выбору программиста, наличие примитивных и объектных типов данных, немногословность, простота и удобство управляющих конструкций, возможность явного определения циклов вместо более дорогостоящих рекурсивных вызовов функций, которые, впрочем, тоже можно использовать. Описывается текущее состояние разработки и реализации транслятора программ с языка El для разных целевых платформ с использованием инфраструктуры компиляторов LLVM.

Прикрепленные файлы: