الخطوط العريضة:
35:39 - هاسكل وما بعدها
39:23 - بلوتوس: منصة عقد كاردانو الذكية على أساس هاسكل
ش : ها ها. نعم ، لقد رأينا مهرجان بلوتوس ، وقمنا بأول واحد في2018 ، 2019لا أتذكر. و ، كنا سنفعل واحدة العام الماضي ، ولكن بعد ذلك ضرب كوفيد لذا سنعيده وربما سنفعله سنويًا في جامعة وايومنغ من أجل الهاكاثون هناك. في الواقع ، ما حدث يتزامن مع قمة غوغان. لذلك أعتقد أننا نفعل ذلك في الأسبوع الثالث من سبتمبر. لكن نعم ، من الرائع عقد مؤتمر سنوي. يمكنك جمع الكثير من الأشخاص الرائعين معًا ويمكنك المشاركة في الهاكاثونات والجوائز وما إلى ذلك. لكن بالنسبة للسؤال على وجه الخصوص ، أه ، بلوتوس ، مثل أي لغة أخرى ، بلوتوس كور ، يمكنك تجميع الأشياء فيه. لذلك من الممكن تمامًا كتابة Scalaإلى مترجم plutus core أو مترجم TypeScript أو شيء من هذا القبيل. لكن ، كما تعلم ، أنا من أشد المؤمنين بفصل الاهتمامات ولم نعد نعيش في نموذج سلسلة واحد.
آه ، كما تعلم ، لديك موقف ربما تريد أن يكون لديك فيه بيئات تنفيذ مختلفة وسلاسل مختلفة. لذلك لديك أجهزة افتراضية مختلفة هناك. ولهذا السبب نعمل عن كثب مع جامعة إلينوي ، مع فريق Grigore Rosuفي ، أه ، التحقق من وقت التشغيل. ما فعلوه هو أنهم قالوا ، لنبدأ بشيء مألوف جدًا ، L L V M ، والذي كان موجودًا لفترة طويلة جدًا وصدف أنهم قاموا بإنشائه هناك مع Apple. ودعنا نأخذ ذلك ونترجمه إلى فضاء blockchain. تمام؟ ثم بمجرد الحصول عليها ، يصبح من السهل جدًا تعديل برامج التحويل البرمجي للغات القياسية مثل C و C++ وغيرها من الأشياء التي يتم تجميعها إلى LL V M بالفعل وتشغيلها هناك. هذا نموذج تنفيذ مختلف عما حاولنا بناءه لـ Plutus ، والذي يركز على الصحة.
تمام. إذن كل ما عليك فعله حقًا هو القول ، هل يمكن أن يتعايش كلا النموذجين في نفس النظام البيئي؟ لأن ثم أنت نوعًا ما ، وأنا ، قمت بتصوير فيديو ، كان يسمى الجزيرة ، المحيط ، البركة. وكانت الفكرة الأساسية هي أن تقول إن لديك جزيرة حيث كل شيء على ما يرام ، يعيش كاليبسو هناك ، والحياة رائعة. آه ، كما تعلم ، الناس يطعمونك العنب كل يوم ، لكن ربما لا يمكنك فعل كل شيء في الجزيرة ، كما تعلمون ، والمحيط الكبير ، يحتوي على كل شيء ما عدا المحيط به وحوش البحر وأسماك القرش ، وأنت تعلم ، كل أنواع الأشياء المجنونة. ، أليس كذلك؟ هذا ما يدورYellow. إنه في الأساس هذا ، هذا يجلب LL VM إلى عالمنا وفي مرحلة ما في الأفق الزمني الذي يتراوح من ثلاث إلى خمس سنوات القادمة ، يمكننا إدخال لغات البرمجة الحديثة ، لكنك ستأتي بكل عيوبها وعيوبه ومشاكلها.
وبعد ذلك ، كانت البركة هي فكرة الآلة الإفتراضية Ethereum. هناك بعض تأثير الشبكة حولها وهناك بعض الأدوات الرائعة التي تتحقق وتطورت ، وليس من الواضح ما إذا كان هذا هو المعيار حتى الآن ، أو ما إذا كان مثل Myspace, Blackberry أو كل هذه الأشياء الأخرى التي ستتلاشى. حسنًا ، إذا أصبح هو المعيار ، حسنًا ، لا تفعل ، آه ، لا تقاتل الطبيعة ، فقط ادعمها. والشيء نفسه الذي يمنحك القدرة ، آه ، التثبيت على LL VM سيمنحك أيضًا القدرة على التثبيت على EVM ويمكنهم العمل بنماذجهم الخاصة وأنظمتهم المنفصلة. ولكن يمكنك نقل معلومات تطبيقات ADA بين هذين النظامين. <إيجابي>. وبالتالي فإن سلسلتك الرئيسية ستبقى دائمًا متحفظة إلى حد ما ولديها أقل قدر ممكن من التعبيرية المطلوبة للقيام بجميع أنواع الأشياء المثيرة للاهتمام. وأيضًا من أجل قابلية التشغيل البيني ، تكون قادرًا على التحدث إلى جميع أنواع الأشياء المثيرة للاهتمام. لكنها لا تحاول أن تكون كل شيء للجميع. لن يكون هناك متجر آيس كريم في الجزيرة. سيكون لديك العنب والنساء الجميلات ، لكن لا الآيس كريم
ل : . الآن أنت فقط تشتيت انتباهي بالآيس كريم. أه ، فقط من أجل ، لأننا سنطرح مجموعة من المصطلحات للتسجيل ، ما هو بلوتوس؟
ش : بلوتوس لغة برمجة ، إنها نوع من DSL أنشأناها فوق Haskell و ، لقد كتبناه بشكل أساسي ، أه ، بعد أن أمضينا حوالي ثلاث سنوات في التفكير في جميع العقود الذكية ، كنا نحاول معرفة ما هو المثالي لغة للتعبير عن عقد ذكي؟ ثم بدأنا نفكر ، حسنًا ، ما هو العقد الذكي؟ هل هو التطبيق بأكمله أم أنه مجرد وحدة فرعية داخل تطبيق ما؟ وعادة ما يكون هذا الأخير أكثر من السابق ، يمكنك إنشاء برنامج قائم بذاته مثل البرنامج النصيScript/ ، ولكن عادة ما يحدث هو أنك ستحصل عليه مثل لعبة فيديو ، دعنا نقول World of Warcraft أو شيء من هذا القبيل. أنت تقول ، مرحبًا ، ربما أريد أن أصنع ذهبًا في WoW و هذه في الواقع عملة ، هل تعلم؟ حسنًا ، سأصدر رمزًا مميزًاToken/. حسنًا ، وبعد ذلك ربما أرغب في إنشاء بعض الآليات الكامنة وراء كيفية قيام الناس بالتداول بين بعضهم البعض.
(40:14)