Arrays, Functional Languages, and Parallel Systems

در طول جلسه ای در تورنتو در زمستان گذشته، مایک جنکینز، باب برنکی و من در حال بحث در مورد اینکه چگونه دو نظریه موجود در مورد آرایه ها بر زبان ها و سیستم های برنامه نویسی تأثیر گذاشته اند یا بر آنها تأثیر گذاشته بودیم. نظریه ارتش مور اساس NIAL و APL2 و Mullin's A Mathematics of A rmys (MOA) بود که به عنوان جبری از آرایه ها در زبان های برنامه نویسی تابعی و مبتنی بر حساب A استفاده می شود. MOA تحت تأثیر جبر اولیه و گسترده آیورسون، پایه‌های APL و J قرار گرفت. ما بحث کردیم که علاقه زیادی در جوامع علوم و مهندسی کامپیوتر در مورد روش‌های رسمی برای زبان‌هایی که می‌توانند عملیات موازی گسترده در محاسبات علمی را پشتیبانی کنند، وجود دارد، که هم برای مایک و هم برای من علاقه‌مند است. زبان‌های این دامنه دیگر نمی‌توانند به‌طور غیررسمی توسعه داده شوند، زیرا لازم است زبان‌ها را به راحتی به بسیاری از معماری‌های چند پردازنده‌ای نگاشت کنیم. سیستم‌های نرم‌افزاری که برای محاسبات موازی در نظر گرفته شده‌اند، نیاز به یک مبنای رسمی دارند، به طوری که می‌توان تغییرات را با سهولت نسبی انجام داد و در عین حال یکپارچگی در طراحی را تضمین کرد. زبان‌های مبتنی بر فهرست از مبانی نظری مانند فرمالیسم Bird-Meertens سود می‌برند. نظریه آنها با موفقیت برای توصیف الگوریتم های موازی مبتنی بر لیست در بسیاری از کلاس های معماری استفاده شده است.

During a meeting in Toronto last winter, Mike Jenkins, Bob Bernecky and I were discussing how the two existing theories on arrays influenced or were in­ fluenced by programming languages and systems. More's Army Theory was the basis for NIAL and APL2 and Mullin's A Mathematics of A rmys(MOA) , is being used as an algebra of arrays in functional and A-calculus based pro­ gramming languages. MOA was influenced by Iverson's initial and extended algebra, the foundations for APL and J respectively. We discussed that there is a lot of interest in the Computer Science and Engineering communities concerning formal methods for languages that could support massively parallel operations in scientific computing, a back­ to-roots interest for both Mike and myself. Languages for this domain can no longer be informally developed since it is necessary to map languages easily to many multiprocessor architectures. Software systems intended for parallel computation require a formal basis so that modifications can be done with relative ease while ensuring integrity in design. List based lan­ guages are profiting from theoretical foundations such as the Bird-Meertens formalism. Their theory has been successfully used to describe list based parallel algorithms across many classes of architectures.