ليوتك غم الفوركس

بيلي جولة المواهب تورونتو ن كوينز باستخدام مينيزينك مينيزينك هو مستوى عال البرمجة قيود (كب) اللغة (أو الواجهة لقيود البرمجة حلالا). يجري توزيعها مع إيد الخاصة بها، بل هو الأكثر ودية إنفيورنمنت أن يكون لها طعم على ما البرمجة القيد. هنا هو مشكلة ن كوينز، الذي هو مثل العالم مرحبا ل كب، في مينيزينك. لاحظ أن معلمات ثابتة، التي يجب أن يتم تهيئة قبل رونينغ حلالا، ويتوت الكلمة الرئيسية فار والمتغيرات التي سيتم البحث عن حلول يتم الإعلان مع الكلمة فار. هذا فار هو في الواقع جزء من نوع. وفي إيد يبدو هذا. وبما أننا لم نقم بتعيين المعلمة الثابتة n. ستدفع إيد لقيمته عند تشغيله باستخدام كترل-R. يبدو الإخراج مثل هذا ل n 8. الحل: شس 3، 6، 4، 2، 8، 5، 7، 1 إلى جميلة طباعة تكوين رقعة الشطرنج، استخدم غسي لتشغيل: السماح شس 3، 6، 4، 2، 8، 5، 7، 1 في بوتسترلن كونكات data. List. intersperse n إذا إيك ثم Q إلس k لوتس إيلت-1..length شس محاولة لطباعة جميلة النتيجة في تكوين الشطرنج 2D باستخدام لغة البرمجة المفضلة لديك، وهو في حالتي هاسكل. يبدو أن مينيزينك حصلت على الحل الصحيح :) لديك فعلا لاستخدام آلية خارجية لطباعة هذه الخطوة الأخيرة لأنك لا يمكن استخدام أنواع فار حيث هناك أنواع طبيعية مطلوبة. فار إنت هو ديفيريت من إنت. الإخراج الأمر فقط يطبع سلسلة s لا فار سلسلة s. فار مثل الشرح المرحلة التي تلوث النتيجة بمجرد استخدامه. على سبيل المثال إذا حاولت طباعة شيء يعتمد على أي قيمة فار سوف مينيزينك يشكو من أنها سلسلة فار لا سلسلة. إذا كان لانغواج البرمجة عالية المستوى دعم لاناغواج دعم متعددة مراحل حساب يمكننا أن فعليا تفعل تلك الأنواع من الأشياء في الخطوة الأخيرة من طباعة نتيجة اعتمادا على قيمة الحل. لماذا برولوغ ليس لديها (مفتوحة) تعيين توحيد مدمج في الأشهر الأخيرة لقد كنت أتساءل عن سبب برولوغ أو غيرها من تطبيقات البرمجة المنطق مماثلة لا تدعم عموما (مفتوحة) مجموعة التوحيد. كان هناك الكثير من الدراسات على توحيد مجموعة محدودة، والتي لا يزال درسكوت يبدو أن تجعل في مكتبات موحدة أو التعابير المشتركة في البرمجة المنطقية، ولكن هناك سوى عدد قليل من الدراسات على توحيد مجموعة مفتوحة نهاية. السبب في أنني بدأت أتساءل عن هذا لأنني كنت بحاجة إلى توحيد خريطة لوصف نوع الاستدلال بما في ذلك السجلات، على سبيل المثال يجب أن يكون معادلا ل. وهناك مشكلة مبسطة، متجاهلة نوع التعليقات التوضيحية، هي التوحيد المحدد، حيث ينبغي اعتباره مكافئا. وبوجه أعم، من أجل التعامل مع السجلات الموسعة، نحتاج إلى توحيد مفتوح حيث يكون الذيل (أو الباقي) للمجموعة متغيرا. على سبيل المثال النظر في توحيد مجموعة تحتوي على x على الأقل مرمز من قبل ومجموعة تحتوي على الأقل y يرمز إليها. نحن نعرف حدسي أن التوحيد الأكثر عمومية للاستعلام -. هو S1، S2 حيث الاستبدال ل S1 و S2 سهم نفس الذيل S. هذه فكرة توحيد مجموعة مفتوحة انتهت بالفعل تم استكشافها ونشرها فريدر ستولزنبرغ (1996). كنت قادرا على كتابة هذا أسفل في برولوغ في جيثب / كياغرد / إكستنسيبيريكوردزويثسيتمملب (انظر setunifynaive. pl و setunify. pl في مستودع) ويبدو أن تعمل بشكل جيد في تطبيقات برولوغ. لذلك، بطريقة ما، هذه مشكلة تحل. ومع ذلك، فإن هذا النوع من فتح مجموعة توحيد مفتوحة ليست السلكية في برولوغ أو غيرها من تطبيقات البرمجة منطق باعتبارها بدائية المدمج في عملية التوحيد. لذلك، لماذا تم فتح مجموعات هافنرسكوت المفتوحة نهاية كقيم بدائية التي يمكن أن تكون موحدة في نموذج البرمجة المنطقية الجواب القصير قد يكون من الصعب التوصل إلى تمثيل داخلي فعال من مجموعات مفتوحة نهاية، وخاصة بالنسبة مجموعات مفتوحة مفتوحة متداخلة ، على سبيل المثال مجموعة من مجموعات. يمكننا التعامل مع توحيد قائمة مفتوحة مفتوحة من قائمة مفتوحة (هنا مرة أخرى مفتوحة يعني يعني أن الذيل يمكن أن يكون متغير منطق إلغاء تثبيت)، وذلك ببساطة عن طريق تطبيق تعريف عودية من التوحيد الهيكلي والحصول على الوحدة العامة الأكثر كجواب أول عندما تنفيذ البرنامج المنطقي. ومع ذلك، عندما نتعامل مع مجموعة من مجموعات، وهذا يصبح مزعجة قليلا. النظر في التوحيد التالي: ما هو الأكثر عمومية وحدة توحيد هذه يمكننا أن نفكر في اثنين من المرشحين. أولا، حاول المستوى الأعلى المفتوح توحيد الوحدة دون الأخذ بعين الاعتبار أن العناصر هي مجموعات مفتوحة مفتوحة: SS1 سس، SS2 سس الثانية، بالنظر إلى أن العناصر هي مجموعات مفتوحة نهاية محاولة توحيد العناصر المعروفة وإذا كان هذا توحيد العناصر ينجح ثم توحيد الذيل: S1، S2، SS1 SS2 كلاهما ونيفيرز. على الرغم من أن هذا الأخير يبدو أكثر إحكاما، والسابق هو في الواقع أكثر لدكوجينيرالكو الموحد بالمعنى التقليدي لأنه يمثل المزيد من الاحتمالات. عندما نشكل S1 و S2 في السابق كمحرر الأخير، فإننا نحصل على هذا الأخير بشكل فعال. وهذا هو، مزيد من إنفستياتينغ التوحيد السابق من قبل S1، S2. وهو ما يعادل هذا الأخير لأنه يتم تجاهل الازدواجية في مجموعات. ومع ذلك، عندما نكون في وضع نريد فيه أخيرا الإجابة الأخيرة، فإن التمثيل الداخلي للمجموعات قد يكون بعيدا عن التعاقد باتباع الخوارزمية التي تولد الأول. لذلك، قد يكون هناك المزيد من الأشياء التي يجب مراعاتها لتنفيذ مثل هذا التوحيد بشكل أكثر فعالية عندما نبدأ في دعم التوحيد للمجموعات المفتوحة بالإضافة إلى التوحيد الهيكلي المعتاد في نظام برمجة المنطق العام. ومن خبرتي في كتابة الخوارزميات لتوحيد مجموعة من الصعب جدا التنبؤ ما إذا كانت الخوارزمية تتصرف كما السابق أو الأخير (أو حتى بشكل مختلف عن أي منهما). ولحسن الحظ، بالنسبة لمشكلة الاستدلال النوعي الذي يتضمن سجلات موسعة، لا نحتاج إلى النظر في هذه الحالة المحددة، لأن أسماء الحقول في السجل هي دائما بطاقات ذرية (مثلا x و y في الأمثلة أعلاه)، وليس مجموعة، ولا حتى هيكل مركب. ولكن هذه المشكلة مثيرة للاهتمام في حد ذاته، وهواة البرمجة المنطق قد ترغب في حلها. وبما أن أولويتي الحالية هي التعبير عن نوع الاستدلال الذي ينطوي على أنواع السجلات، أنا فقط بحاجة إلى مستوى واحد من مجموعة التوحيد على التسميات وثم نوع التعليق التوضيحي من هذا التسمية يمكن أن يكون سجلا آخر وهلم جرا. أي أنه يمكن أن يكون هناك نمط من التوحيد الهيكلي بالتناوب ووضع التوحيد (وهو توحيد الخريطة أساسا) ولكن ليس التوحيد المحدد عند التعامل مع أنواع السجلات. لذلك، أنا دونرسكوت أعتقد أنني يمكن أن تتخذ مبادرة لحل هذه المشكلة مجموعة من مجموعة توحيد النظر في التنفيذ الفعال في الوقت الراهن ولكن سعيدة لمناقشة من قد يكون مبادرة لدفع إلى الأمام على هذه المشكلة بالذات. ما زلت بحاجة إلى أوبياتور التوحيد العام لكل من القيم الهيكلية وتعيين قيم لنوع إنفيرينيس المواصفات لأن أنظمة نوع مع السجلات سيكون كل من أنواع السجلات وأنواع غير السجلات (على سبيل المثال أنواع الأساسية وأنواع الوظائف، هيليب). في تنفيذ (القرصنة داخليا تنفيذ البرمجة المنطقية على أساس ميكوركانرن)، وجزء صعب هو ربط عقدة لتوفير عامل التوحيد العام التي يمكن أن تنطبق على القيم الهيكلية وتعيين القيم. يجب أن يبدأ التنفيذ من التكرار الهيكلي، وإضافة الخطاف الذي يدعو فتح توحيد مجموعة انتهى عندما يلتقي منشئ مجموعة. ومع ذلك، يتم تعريف العمليات المحددة أيضا من حيث مشغل التوحيد، لذلك ربط دون مبالاة عقدة يمكن أن تعمل بسهولة إلى حلقة لانهائية. أعتقد أنني أقترب من ربط العقدة. وكنت قادرا على تنفيذ مجموعة من التوحيد مجموعة من خلال ربط عقدة في قيود العضوية بحيث مجموعة التوحيد يمكن استدعاء توحيد الوحدة لعناصرها إذا لزم الأمر. أنا هافنرسكوت حصلت على الخطوة الأخيرة من ربط عقدة في المساواة الهيكلية لاستدعاء مجموعة التوحيد عندما يلتقي منشئ مجموعة. الشروع في العمل مع بوريسكريبت 0.7.1.0 بعض تريفا حول بوريسكريبت بوريسكريبت هي لغة وظيفية بحتة تستهدف على وجه التحديد جافا سكريبت كما الخلفية. إذا كنت قد ذاقت هاسكل ورثاء حول الفوضى أونتيبد الحالية في لغات البرمجة، وخاصة فيما يتعلق البرمجة على شبكة الإنترنت، بروبابي اختيارك الوحيد هناك بوريسكريبت. بوريسكريبت هي اللغة الوحيدة مع عاقل تقترب إلى ستاتيكالي دعم بطة الكتابة على السجلات باستخدام الصف تعدد الأشكال. وبالإضافة إلى ذلك، يدعم بوريسكريبت تأثيرات قابلة للتوسيع مع نفس الآلية، وذلك باستخدام تعدد الأشكال الصف. يتم وضع علامات على مونادس مع تأثيرات (على سبيل المثال وحدة التحكم لوحدة التحكم I / O) في بوريسكريبت. هذا يقلل كثيرا من مشكلة المفرط المحولة المكدس عند تأليف مكتبات هاسكل موناديك ببساطة للجمع بين الآثار بطرق واضحة. ملاحظة قصيرة لمستخدمي بوريسكريبت جديدة (مثلي) هذه هي مذكرة قصيرة لأولئك الذين يرغبون في محاولة بويرسكريبت، الذين هم بالفعل فاميليار مع غك و كبال. يتم توثيق بوريسكريبت بشكل جيد نسبيا، ولكن بالنسبة للمبتدئين قد يكون مربكا لأن الوثائق المحدثة للنسخة 0.7.1.0 الأخيرة مبعثرة حول عدة عناوين ورل والكتاب الإلكتروني والعديد من الوثائق الأخرى على شبكة الإنترنت مكتوبة على أساس النسخة القديمة. تثبيت بوريسكريبت من السهل إذا قمت بتثبيت كابال لتثبيت بوريسكريبت و نبم لتثبيت حزم جافا سكريبت، وخاصة لتثبيت اللب (حزمة التبعية مانانغمينت / وضع الحماية ل بوريسكريبت). منذ يتم تنفيذ بوريسكريبت في هاسكل، شعرت أنه من الأكثر طبيعية لاستخدام كبال لأنني مستخدم غك. ولكن كنت دونرسكوت يجب أن يكون غك و كبال المثبتة في الواقع. هناك أيضا ديستريبتيونس الثنائية مباشرة دونلودابل أو عن طريق مديري باكج الثنائية الأخرى من الصفحة الرئيسية بوريسكريبت انظر purescript. org/download/ لمزيد من إنفورمتيون. إرسكول مجرد التمسك كبال في هذه الوثيقة. يمكنك تثبيت بوريسكريبت في أي نظام تشغيل كابال. ل نبم واللب، يورسكود تفعل شيء مثل هذا على نظام التشغيل ماك أوس X وعلى أنظمة لينكس المستندة إلى دبيان معظم المستخدمين من نظام التشغيل ماك أوس X سيكون لها حقوق المشرف لذلك هو الأكثر معقول لتثبيت اللب عالميا في النظام. يجب تثبيت الملفات الثنائية بوريسكريبت في /.cabal/bin ويجب أن يكون قد أضفت بالفعل /.cabal/bin إلى باث الخاص بك بالفعل إذا كنت من مستخدمي غس معقول. منذ يورسكوف تثبيت اللب عالميا مع الخيار - g، ينبغي أن يكون أيضا في باث الخاص بك. لاحظ أن تثبيت اللب قد يستغرق بعض الوقت، خاصة عند تثبيت نبم حديثا، لأنه يقوم بتثبيت كل تبعياته. ألتو يمكنك سودو تثبيت - g اللب على أنظمة لينكس، إذا كنت في مجموعة سودو، فإنه عادة لا ينصح في أنظمة لينكس. لذلك، مجرد تثبيته محليا وإعداد بعض مسار إضافي في باشرك أو أيا كان ملف التكوين قذيفة التي تستخدمها. في بعض ديستروز لينكس، مثل دبيان، اسم الملف القابل للتنفيذ ل ldquonode. jsrdquo يسمى نوديجس بدلا من العقدة في معظم الأنظمة الأخرى. لذلك، يورسكود لديك لجعل ارتباط رمزي في واحدة من باث الخاص بك على أي حال. حزمة ماناجانر اللب ل بوريسكريبت يحاول أيضا العثور على عقدة. على أي حال هذا هو ما فعلته في دبيان بعد تثبيت اللب محليا. مدير نباك باكاكج لجافا سكريبت على دبيان بتثبيت حزم المستخدم في / نبمودولز الدليل وملفاتها الثنائية / القابلة للتنفيذ سيملينكد في لذلك، وهذا هو مكان جيد لعصا في سيملينك إعادة تسمية ل ldquonode. jsrdquo. (إذا كنت دونرسكوت مثل ذلك هنا يمكنك وضعها في أي مكان آخر يقول / بن وإضافته إلى باث الخاص بك.) الآن ويرسكور القيام به مع جميع الاشياء مملة والمتعة. يقوم الأمر بولب إنيت بإنشاء نموذج بويرسكريبت نموذج لك. لرؤية أمر آخر من اللب، يمكنك اللب --help. يمكننا محاولة تشغيل الأوامر واختبار أمر التشغيل والاختبار استدعاء الأمر بناء قبل تشغيل أو اختبار إذا لم يتم بناء المشروع حتى الآن. الشيء الأخير هو حول تحرير الملف ldquobower. jsonrdquo. مدير حزمة اللب ل بوريسكريبت يستخدم باور (مدير حزمة الحماية المحلية لحزم جافاسيربت وتستخدم أيضا لحزمة بوريسكريبت بوريسكريبت يبدو أن ديسينجيد لتكون متوافقة مع جافاسكريبت حزمة إصدار / اتفاقية دبينيسي) إلى رمل محليا كل تبعياتها في الدليل بووركومنتنتس . أعتقد بالنسبة للمبتدئين مثلي، الشيء الوحيد الذي يتم تحريره هو قسم التبعية. قسم التبعيات من ldquobower. jsonrdquo الافتراضي التي تم إنشاؤها عن طريق استدعاء اللب إينيت يحتوي فقط على حزمة بوريسكريبت وحدة التحكم. كما تحتاج إلى استخدام المزيد من حزم المكتبات، يمكنك إدراجها في قسم التبعيات. هناك قائمة من الحزم الأساسية الأكثر استخداما (بطبيعة الحال بما في ذلك بوريسكريبت-كونسول) مجتمعة كنوع من مجموعة ميتا يسمى بوريسكريبت قاعدة. يمكننا تعديل قسم ديبنيسي، بدلا من بوريسكريبت-كونترول تغييره إلى بوريسكريبت قاعدة. لأن بوريسكريبت قاعدة يعتمد على بوريسكريبت-كونسول، فمن زائدة لتحديد بوريسكريبت-كونسول عندما يكون هناك بوريسكريبت قاعدة. الإصدار الحالي من قاعدة بوريسكريبت هو 0.1.0، والذي يحدث ليكون نفس إصدار بوريسكريبت وحدة التحكم. لذلك، تغييره مثل هذا ومن ثم تثبيت كافة حزم اعتمادا باستخدام اللب ديب تثبيت (الذي يستدعي تثبيت بور). فإنه بالتأكيد تثبيت المزيد من الحزم من ذي قبل. هناك العديد من الأمثلة التعليمية على الانترنت. يجب أن تكون العديد منها قابلة للتنفيذ عن طريق تحرير ملف سرك / Main. purs. الآحاد الذي يعمل في الواقع على المتصفحات ستحتاج إلى استخدام اللب بروفيريفي. الذي ينتج ملف واحد يحتوي على شفرة جافا سكريبت المضمنة ذاتيا. يمكننا أن نفعل ذلك لهذا المشروع القالب أيضا (تحتاج إلى التحقق من وحدة تحكم المطور للإخراج على الرغم من). تحميل ldquoindex. htmlrdquo في متصفح يدعم وحدة تحكم ديفولبر مثل فايرفوكس. في كل مرة تقوم بتحميل ldquoindex. htmlrdquo يمكنك ان ترى وحدة التحكم سجل الطباعة لدكوهيلو سيلوردكو، تماما كما فعل عندما كنا اللب تشغيل على وحدة التحكم سطر الأوامر. بعض الأفكار السريعة على شكل ريستريتد من بوليموفيسم النوع ومن المعروف جيدا أن إضافة تعدد الأشكال غير المقيد إلى حساب التفاضل والتكامل متعدد الأشكال لامدا، وهو نظام فوميغا، يؤدي إلى مفارقات غير متناسقة منطقيا. بالنسبة لأولئك الذين كتبوا بشكل طبعي نظرية تثبت المجتمع، وهذا ليس من قلقهم، وذلك لأن كتابة مساعدين برينت تعتمد عادة على أساس التفاضل والتكامل التفاضل والتكامل مع الأكوان الطبقية. ومع ذلك، هناك نهج بديل لم يتم استكشافه بعد. النظر في اتخاذ نهج بديل للبدء من لغة وظيفية أكثر تقليدية على أساس تعدد الأشكال إمبريديكاتيف وتحويل ذلك إلى نظام تثبت نظرية. على سبيل المثال النظر في مجموعة فرعية معينة من هاسكل مع ملحقات غك مثل رانكنتيبس و إمبريديكاتيفتيبس (بعد كل شيء، جوهر غك هو امتداد ل فوميغا)، ومحاولة لرسم لغة متسقة منطقيا. هذا هو بالضبط الدافع من الدكتوراه. أطروحة، وما ينتج عنها قطعة أثرية هي لغة ناكس. لجعل قصة طويلة قصيرة، يجب أن نكون قادرين على أن يكون مجموعة فرعية متسقة منطقيا من يقول هاسكل مع تمديد غك بما في ذلك غادتس و بوليكيند. فائدة هذا التصميم هو أننا يمكن إعادة استخدام جميع المرافق التي تم بناؤها بالفعل حول لغات وظيفية مثل هاسكل، التي لديها أكثر تعقيدا بكثير وأفضل المبرمجين الأمثل من معظم نظريات نظرية تثبت. إذا أخذنا هذا الطريق، يجب علينا معرفة وسيلة آمنة لتمديد تعدد الأشكال إمديديكاتيف مع شكل مقيد من تعدد الأشكال النوع. وأعتقد أن تمديد فوميغا مع الرتبة 1 الارتباطات نوع متعدد الأشكال لعدد محدود من المتغيرات بناء نوع المعرفة عالميا آمنة. وهذا هو، حساب التفاضل والتكامل الناتج مع هذا التمديد هو ثابت منطقيا. والدليل على الاتساق المنطقي لهذه الحسابات التفاضلية الموسعة يجب أن تكون واضحة تماما عن طريق رسم خريطة التفاضل والتكامل الموسعة مرة أخرى إلى فوميغا من خلال المضمنة. هنا هو بناء جملة حساب التفاضل والتكامل الموسعة: سيغما. كابا منتصف فورال chi. kappa كابا. تشي منتصف منتصف كابا إلى كابارسكو A، B، F، G. منتصف منتصف A إلى B منتصف لامدا X. منتصف F G منتصف فورال X. B سيغما. كدوت ميد تسيغما، سيغما غاما. كدوت ميد X ميد x: A t، r، s. x ميد لامدا x. t ميد r اسم منشئ النوع T ليس مختلفا عن متغير النوع X. إنه مجرد اتفاقية افتراضية للتأكيد على أن المتغير يقف على اسم محدد عالميا لنوع البناء. من قائمة من نوع عالمي بناء المنشئات T1 F1، T2 F2، لدوتس، تن فن سياق عالمي سيغما يمكن الحصول عليها بحيث سيغما T1، T2، لدوتس، تن كل سيغماي هو نوع متعدد الأشكال من فاي. على سبيل المثال، مخطط نوع متعدد الأشكال من F1 لامدا X. X هو sigma1 فورال chi. chi إلى تشي. من أجل البساطة، دعونا نعتبر مجرد تعريف عالمي واحد حيث T1 F1. على افتراض F1 هو جيد التجهيز، نحصل على سيغما T1. في شجرة اشتقاق الحكم الكتابة T1 غاما فداش t. A، ونحن مضمنة كل حدوث T1 مع مثيل من تعريفه F1، إنستانتياتينغ جميع المتغيرات النوع الحر في F1 بشكل مناسب لكل حدوث. على سبيل المثال، إذا كان لدينا F1 لامدا X. X، ونحن قد تثبيته لامدا X. X، لامدا X. X، أو أي مثيل المناسبة تشي حسب الحاجة. وبمجرد أن نشدد على كل تكرار ل T1، يصبح السياق العالمي سيجما غير ذي صلة. لذلك، يمكننا ببساطة تجاهل سيغما، وشجرة الاشتقاق الناتجة هي بالضبط شجرة الاشتقاق لحكم الكتابة في فوميغا. إن تعميم تعريف التعريفات n ليس صعبا. الشيء الإضافي الوحيد الذي يجب مراعاته هو أن أسماء منشئ النوع المحدد مسبقا يمكن استخدامها في التعريفات الأخيرة. النظر في T1 F1، T2 F2، لدوتس، تن فن. يمكن أن يظهر الاسم الأول T1 في أي من F2، لدوتس، الجبهة الوطنية. لذلك، ينبغي أن يتم تنفيذ إنلينينغ بطريقة متتالية بدءا من T1، داخل داخل سيغما وكذلك أجزاء أخرى من شجرة الاشتقاق. الخطوة التالية هي تعميم هذه الفكرة ل سيستيم في التي تمتد نظام فوميغا مع مؤشرات نوع قابل للمسح. هنا، سيزيد هذا تعقيدا لأن متغيرات النوع ومتغيرات الفهرسة الزمنية يمكن أن تظهر في الأنواع وكذلك المتغيرات النوع. حصلت على ماك بوك اير، لعبت معها لمدة أسبوع منذ أن أخطط لتخرج هذا العام، وأعتقد أنه هو الوقت المناسب للحصول أخيرا جهاز كمبيوتر محمول من أبل عندما لا يزال لدي خصم الطالب. وكان الغرض الآخر من ذلك هو استخدام الكلمة الرئيسية لتقديم العروض بفعالية. نظام التشغيل ماك أوس X هو بيئة سطح المكتب المعقولة الوحيدة التي تدعم محرك واجهة المستخدم الرسومية التي يمكن التعامل مع ناقلات الرسومات بشكل صحيح. يمكن للمرء أن الاستيلاء على الرقم، الصيغة، الجدول، وما إلى ذلك من بدف ولصق فقط في شريحة العرض وحجمه دون الحاجة إلى القلق حول عدم وضوح. هذا هو عظيم حقا للمستخدمين اللثي لأن واحد فقط إعادة استخدام محتويات من ورقة، دونرسكوت لديك لإعادة مقتطف إعادة تنسيق للشرائح. كان لدي ماك ماك القديمة التي تبدو وكأنها مربع بينتو الأبيض من حوالي عام 2007، وقدم عدد قليل من الشرائح معها وكان راضيا جدا. الآن، أنا حصلت بطيئة جدا لبرامج جديدة، ولا يمكن حتى ترقية، لذلك حصلت على آلة العلامة التجارية الجديدة، 11rsquorsquo ماك بوك اير مع 256GB سد. الحد الأدنى من 128GB هو حوالي 100 أقل، ولكن أنا حقا بحاجة إلى استخدام لينكس (إما عن طريق الجهاز الظاهري أو التمهيد المزدوج)، لذلك كان المزيد من التخزين لا مفر منه. هناك أنظمة التعبئة والتغليف أوس X منافذ البرمجيات المستهدفة أساسا لينكس، ولكن لم أكن راضيا عن ذلك، للأسف. سمعت أن هناك خيارا أفضل جاء مؤخرا يسمى البيرة، ولكن لا يزال، أنا كانرسكوت تعتاد على كيبيندينغز باستخدام الأمر بدلا من السيطرة وجميع تلك الأشياء :( أنا أحب الأجهزة، وبطبيعة الحال. الراقية تبحث الألومنيوم، عرض عالية الجودة (11rsquorsquo ديدنرسكوت يشعر أن صغيرة)، و أبلرسكوس لوحة اللمس لا مقارنة لأجهزة الكمبيوتر المحمولة الأخرى. إترسكوس المرة الأولى باستخدام سد سوتريت، ويبدو أن العمل بشكل أسرع من الأقراص الصلبة، لذلك، على الرغم من أنه لا يملك قوة الحوسبة عالية في وحدة المعالجة المركزية ، ووندرسكوت يشعر أن بطيئة مقارنة مع آلات مع نهاية عالية بويرسكوس مع الأقراص الصلبة، وأنا دونرسكوت لديها مهام الجرافيك / الفيديو / الصوت خطيرة، لذلك إرسكوس غرامة بالنسبة لي. عندما تستخدم جهاز ظاهري، سد بالتأكيد يفوز، ويستخدم أقل البطارية كما حسنا، إن مفتاح إكلود هو رائع أيضا، ويمكنك تعديل محتويات (أو أوثرزكو المشتركة معك للتحرير) العرض عبر الإنترنت، حتى في الأجهزة غير ماك على الرغم من أنها تعمل بشكل أفضل مع سفاري، والكثير من الوظائف قابلة للتنفيذ في فايرفوكس كذلك (على سبيل المثال . إصلاح الأخطاء المطبعية، تحرير النص، تغييرات تخطيط طفيفة، إضافة الشرائح الجديدة، وهلم جرا). إحدى المشاكل التي واجهتها مع إكلود كينوت هي أنها لا تقيس بشكل صحيح صورة ناقلات، وتمتد فقط خارج ويجعلها طمس. لذلك، إذا كنت تستخدم ناقلات الرسومات مصدر الصور مثل شكل إبس أو قوات الدفاع الشعبي، دونرسكوت محاولة لتقديمه من خلال متصفح الويب ولكن التمسك الكلمة الرئيسية للعرض. بخلاف رئيسية وتصفح الإنترنت، أميل إلى العمل داخل ديبيان لينكس يعمل على فيرتثلبوإكس. منذ أنا دونرسكوت تحتاج إلى الكثير من تسارع الرسم، إرسكوم سعيدة حاليا مع بيئة لينكس تصور أعتقد سد يجعلها تشعر أقل أنها آلة افتراضية من تشغيل نظام التشغيل الضيف على الأقراص الصلبة. مخططات العودة على غرار ميندلر لنماذج البيانات المختلطة يتوفر مشروع ورقة جديدة بشأن خطط العود على غرار مينلدر (في الاعتبار تقديمها إلى إجراءات ما بعد الإجراءات المؤقتة) والمدعوم من شارياتكس. ويرسكود نقدر أي ردود فعل. تحتوي هذه الورقة على إصلاح الخلل ل mcata1 (أو إيتكست في هذه الورقة) في التسلسل الهرمي لدكوا من مخططات الانتعاش على غرار ميندلر رديقو، وهو مثال مثير للاهتمام لاستخدامه على فهرسة نوع مختلط مفهرسة، ووضع نظري أكثر صرامة من تضمين فوميغا لها . وعلاوة على ذلك، ونحن نقدم العمل الجاري من اثنين من جديد مخطط على غرار ميندلر. واحد منهم هو التكرار نمط ميندلر على بارامتريك أعلى ترتيب بناء الجملة التجريدية (فوس)، مستوحاة من بارامترية أنواع البيانات التركيبية (يدت). أطلقنا اسمنا مخطط تكرار إيتكست، والذي يقف على غرار مندلر حدودي أعلى ترتيب التكرار. ربما كتابة إرسكول وظيفة منفصلة على هذا. تفاعلية هاسكل على شبكة الإنترنت tryhaskell. org يستخدم نسخة مصححة من مكتبة مويفال ومكتبة وحدة التحكم، ومكتبة جافاسكريبت مكتبة مسج. لذلك، لأنه يقوم على غك، ولكن يمكن تشغيل فقط الأشياء المحدودة، والتي يسمح مويفال. فبكومبليت يبدو أن استخدام غك و فريامورك على شبكة الإنترنت هو يسود، ولكن ليس بالضبط ما يستند إليه تنفيذه. هذه هي صفحة التأليف الأكثر شمولا التي تدعم بيئة هاسكل التفاعلية على شبكة الإنترنت.