فوثارك (لغة برمجة)

فوثارك هي لغة برمجة متعددة الأنماط ، عالية المستوى ، وظيفية ، متوازية البيانات ، ومُخصصة للمصفوفات . وهي لهجة من لغة ML ، طُوّرت في الأصل في قسم علوم الحاسوب بجامعة كوبنهاغن (DIKU) كجزء من مشروع HIPERFIT. ^{[ 2 ]} تركز فوثارك على تمكين تنفيذ البرامج المتوازية للبيانات المكتوبة بأسلوب وظيفي بكفاءة عالية على أجهزة متوازية ضخمة ، وخاصة وحدات معالجة الرسومات (GPUs). تستلهم فوثارك بشكل كبير من NESL ، ويستخدم تطبيقها صيغة معدلة من تحويل التسطيح ، لكنها تفرض قيودًا على كيفية التعبير عن التوازي لتمكين تحسينات أكثر فعالية للمُصرّف. على وجه الخصوص، لا تدعم فوثارك التوازي غير المنتظم للبيانات المتداخلة. ^{[ 3 ]} وهي برنامج مجاني ومفتوح المصدر، مُرخص بموجب ترخيص ISC .

فوثارك هي لغة من عائلة لغات ML ، ذات بنية نحوية غير حساسة للمسافات البادئة، مشتقة من لغات OCaml و Standard ML و Haskell . يعتمد نظام أنواعها على نظام أنواع هيندلي-ميلنر مع مجموعة متنوعة من الإضافات، مثل أنواع التفرد والأنواع المعتمدة على الحجم . لا تُصمم فوثارك كلغة برمجة عامة لكتابة تطبيقات كاملة، بل تركز على كتابة نوى حسابية (ليست بالضرورة هي نفسها نواة وحدة معالجة الرسومات ) يتم استدعاؤها من تطبيقات مكتوبة بلغات تقليدية. ^{[ 4 ]}

سُميت الأبجدية الرونية (فوثارك) نسبةً إلى الأحرف الستة الأولى من الأبجدية الرونية . ^{[ 5 ] : 2}