بيور سكريبت

PureScript هي لغة برمجة وظيفية بحتة ذات كتابة قوية ، تُترجم إلى JavaScript ^{[ 2 ]} ، ومع واجهات خلفية بديلة، إلى ^C ++11 [ ^{3 ] و} Erlang [ ^{4 ]} و Go ^{[ 5 ]} . يمكن استخدامها لتطوير تطبيقات الويب، وتطبيقات جانب الخادم، وتطبيقات سطح المكتب باستخدام Electron أو عبر مترجمات C++11 وGo مع مكتبات مناسبة. يُشابه تركيبها النحوي إلى حد كبير تركيب Haskell . كما أنها تُقدم تعدد الأشكال الصفية والسجلات القابلة للتوسيع ^{[ 6 ]} . وعلى عكس Haskell، تُعرف لغة PureScript باستراتيجية تقييم صارمة ^{[ 7 ]،} على الرغم من وجود واجهات خلفية غير متوافقة تُطبق استراتيجية تقييم كسولة ^{[ 8 ]} . وهي برنامج مجاني ومفتوح المصدر، مُرخص بموجب رخصة BSD ثلاثية البنود .

تم تصميم PureScript في البداية بواسطة فيل فريمان في عام 2013. بدأ العمل عليه لأنه لم يكن راضيًا عن المحاولات الأخرى لتحويل لغة Haskell إلى JavaScript (على سبيل المثال، باستخدام Fay أو Haste أو GHCJS). ^{[ 9 ]}

ومنذ ذلك الحين، تبنّاه المجتمع ويجري تطويره على منصة GitHub . وتشمل الأدوات الأساسية الأخرى التي طوّرها المجتمع أداة البناء المخصصة Pulp ، ^{[ 10 ]} ودليل التوثيق Pursuit ، ^{[ 11 ]} ومدير الحزم Spago . ^{[ 12 ]}

تتميز لغة PureScript بالتقييم الصارم ، وهياكل البيانات المستمرة ، واستنتاج الأنواع . يشترك نظام أنواع البيانات فيها في العديد من الميزات مع لغات وظيفية مشابهة مثل Haskell : أنواع البيانات الجبرية ومطابقة الأنماط ، والأنواع ذات الرتب العليا ، وفئات الأنواع ، والتبعيات الوظيفية ، وتعدد الأشكال عالي الرتبة . يدعم نظام أنواعها تعدد أشكال الصفوف والسجلات القابلة للتوسيع، ^{[ 13 ]} ولكنه لا يدعم بعض الميزات المتقدمة في Haskell مثل نوع البيانات الجبرية المعمم (GADT) وعائلة الأنواع .

تسعى مُترجمات PureScript إلى إنتاج شفرة قابلة للقراءة، كلما أمكن ذلك. ومن خلال واجهة وظائف خارجية بسيطة (FFI)، تسمح أيضًا بإعادة استخدام الشفرة المصدرية الموجودة في JavaScript، ^{[ 14 ]} وC++11، ^{[ 15 ] [ 16 ]} وGo، ^{[ 17 ]} عادةً كتمثيل وسيط .

يدعم PureScript التجميع التزايدي ، كما يدعم توزيع المترجم إلى JavaScript إنشاء إضافات لمحرر شفرة المصدر من أجل التطوير التكراري. ^{[ 18 ]} تتوفر إضافات المحرر للعديد من محررات النصوص الشائعة، بما في ذلك Vim و Emacs و Sublime Text و Atom و Visual Studio Code .

يدعم PureScript تطوير البرامج الموجه بالأنواع من خلال ميزة "الثغرات المكتوبة " ^{[ 19 ]} ، حيث يمكن إنشاء برنامج مع وجود تعابير فرعية مفقودة. سيحاول مترجم JavaScript لاحقًا استنتاج أنواع هذه التعابير الفرعية المفقودة، وإبلاغ المستخدم بها. وقد ألهمت هذه الميزة أعمالًا مماثلة في مترجم Glasgow Haskell (GHC) ^{[ 20 ] .}

إليكم برنامج "مرحباً بالعالم!" بسيط مكتوب بلغة PureScript:

الوحدة الرئيسية حيث استيراد Effect.Console (log) main = log "Hello World!"

هنا، يتم استنتاج نوع البرنامج والتحقق منه بواسطة مترجم PureScript. قد تتضمن نسخة أكثر تفصيلاً من البرنامج نفسه تعليقات توضيحية صريحة للأنواع.

الوحدة الرئيسية حيث استيراد بريلود استيراد التأثير (التأثير) استيراد Effect.Console (log) الوحدة الرئيسية :: وحدة التأثير main = log "Hello World!"

• لغة البرمجة إلم (Elm) – لغة برمجة وظيفية 
• Reason (لغة برمجة) – امتداد بناء الجملة ومجموعة أدوات لـ OCaml 
• لغة برمجة الويب JS++ 
• تايب سكريبت – لغة برمجة ومجموعة فرعية من جافا سكريبت 

• الموقع الرسمي
• بيئة لعب PureScript