Особенности семантики статически типизированного языка функционально-потокового параллельного программирования

С. 489–500.

Легалов А. И., Легалов И. А., Матковский И. В.

Рассматриваются особенности языка функционально-потокового параллельного программирования Smile, использующего статическую типизацию данных. Разработанный ранее язык функционально-потокового параллельного программирования Пифагор поддерживает динамическую типизацию, что не обеспечивает эффективной трансформации написанных программ в программы для современных параллельных вычислительных систем. Проводится анализ изменений функционально-потоковой модели вычислений и операторов языка программирования с введением статической системы типов. Показано, каким образом вносимые изменения влияют на синтаксис и семантику. В частности отмечается, необходимость использования принципа единственного присваивания, обусловленного формированием хранилищ данных конкретного типа, объявляемых по аналогии с переменными.

 

Ключевые слова: полиморфизм, parallel programming, параллельное программирование, парадигмы программирования, Polymorphism, статическая типизация, модели параллельных вычислений, функционально-потоковое параллельное программирование, programming paradigms, functional-dataflow parallel programming, static type system, parallel computation model

В книге

Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции

Институт прикладной математики им. М.В. Келдыша РАН, 2019.