Разработка процедурно-параметрической парадигмы на языке GO
Автор: Смоглюк С.Ю., Гарин Е.Н., Романова Д.С.
Журнал: Журнал Сибирского федерального университета. Серия: Техника и технологии @technologies-sfu
Статья в выпуске: 7 т.13, 2020 года.
Бесплатный доступ
В статье рассматривается парадигма программирования, определяющая новый стиль разработки программ, названный процедурно-параметрическим программированием (ППП). В основе парадигмы лежит параметрический полиморфизм, позволяющий процедурам принимать и обрабатывать вариантные типы данных без алгоритмического выбора альтернатив внутри этих процедур. В процедурных языках программирования такие типы описываются объединениями (union в языках C, C++) или вариантными записями (в языке Паскаль). Алгоритмическая обработка вариантов осуществляется с применением условных операторов или переключателей. Данный подход является развитием методов процедурного программирования и служит альтернативой объектно-ориентированному программированию. Процедурно-параметрическая парадигма программирования является расширением процедурного подхода. Она позволяет увеличить возможности последнего за счет поддержки полиморфизма данных. Применение предлагаемого подхода позволит наращивать функциональные возможности процедур без внесения в них внутренних алгоритмических изменений. ППП может использоваться как независимо, так и в сочетании с другими парадигмами программирования.
Процедурно-параметрическая парадигма, параметрический полиморфизм, структурное программирование, процедурное программирование, обработка данных, языки программирования, полиморфизм данных, алгоритмические изменения
Короткий адрес: https://sciup.org/146281606
IDR: 146281606 | DOI: 10.17516/1999-494X-0230
Список литературы Разработка процедурно-параметрической парадигмы на языке GO
- Легалов А.И. Функциональный язык для создания архитектурно независимых параллельных программ. Вычислительные технологии. 2005, 1(10), 71-89
- Легалов А.И., Казаков Ф.А., Кузьмин Д.А., Привалихин Д.В. Модель функционально-потоковых параллельных вычислений и язык программирования "Пифагор". Распределенные и кластерные вычисления. Избранные материалы второй Школы-семинара. Институт вычислительного моделирования СО РАН. Красноярск, 2002, с. 101-120
- Kropacheva M., Legalov A. Formal Verification of Programs in the Pifagor Language. Parallel Computing Technologies, 12th International Confernce PACT September-October, 2013. St. Petersburg. Lecture Notes in Computer Science 7979, Springer. 2013, 80-89.
- Legalov A.I., Nepomnyaschy O.V., Matkovsky I.V., Kropacheva M.S. Tail Recursion Transformation in Functional Dataflow Parallel Programs. Automatic Control and Computer Sciences, 2013, 47(7), 366-372.
- Легалов А.И. Методы сортировки, полученные из анализа максимально параллельной программы. Распределенные и кластерные вычисления. Избранные материалы Третьей школы-семинара. Институт вычислительного моделирования СО РАН. Красноярск, 2004, с. 119-134
- Воеводин В.В., Воеводин Вл.В. Параллельные вычисления. СПб.: БХВ Петербург, 2002, 608 с.
- De Stefani L. The I/O complexity of hybrid algorithms for square matrix multiplication. 30th International Symposium on Algorithms and Computation, 2019, (149)33, 1-15.
- Legalov A.I., Nepomnyaschy O.V., Matkovsky I.V., Kropacheva M.S. Tail Recursion Transformation in Functional Dataflow Parallel Programs. Automatic Control and Computer Science,. 2013, 47(7), 366-372.
- Parallel Matrix Multiplication. The JR Programming Language. The International Series in Engineering and Computer Science. Springer, Boston, MA, 2009, 774.
