يُعدّ فيليب وادلر، أحد المصممين الرئيسيين للغة البرمجة هاسكل، شخصية محورية في الأبحاث التي تقف وراء @Cardano ($ADA). تشكّل هاسكل أساس البنية الجوهرية للبلوك تشين، وقد عمل وادلر على أدوات العقود الذكية الخاصة بها من خلال @IOGroup.

من هاسكل إلى العقود الذكية على كاردانو

تصف الجمعية الملكية وادلر بأنه أحد المصممين الرئيسيين لهاسكل، وتشير إلى إسهامه في ابتكاريها الرئيسيين: فئات الأنواع والمونادات. وتقول جامعة إدنبرة إن أبحاثه أثّرت في تصميم لغات واسعة الاستخدام، منها جافا وغو وسويفت وهاسكل.

في شركة Input Output Global (IOG)، يشارك وادلر في ابتكار Plutus إلى جانب مانويل تشاكرافارتي. وتصف IOG لغة Plutus بأنها لغة البرمجة الذكية لسلسلة الكتل. ووفقًا لسيرته الذاتية في جامعة إدنبرة، يشغل وادلر حاليًا منصب زميل أبحاث رئيسي في الشركة.

كما أسهم وادلر في أبحاث IOG حول نموذج UTXO الموسع، وهو نموذج دفتر الأستاذ المستخدم في Cardano، وفقًا للمقالة نفسها الصادرة عن IOG.

تكريم الجمعية الملكية

في عام 2023، انتُخب وادلر زميلًا في الجمعية الملكية. وأشارت كلية المعلوماتية في جامعة إدنبرة إلى أنه انضم إلى قائمة تضم زملاء سابقين، من بينهم إسحاق نيوتن وتشارلز داروين وألبرت أينشتاين وستيفن هوكينغ. وتنسب إليه شهادة الجمعية الملكية استحداث أصناف الأنواع و«المونادات»، والإسهام في إدخال الأنواع العامة إلى Java.

أحدث أعماله حول Plinth

تشمل أبحاث وادلر الحديثة Plinth، وهي اللغة المستخدمة لكتابة العقود الذكية على Cardano. وتذكر ورقة بحثية نُشرت عام 2025 في ندوة ACM SIGPLAN Haskell Symposium، وشارك في تأليفها وادلر وتشاكرافارتي، أن Plinth (المعروفة سابقًا باسم Plutus Tx) تعيد استخدام مجموعة فرعية من صياغة Haskell، وأنها تُستخدم تجاريًا منذ عام 2021. وتضيف الورقة أن برامج Plutus تعمل على آلة لها مواصفات رسمية مكتوبة بلغة Agda، وهي مساعد لإثبات النظريات، ما يدعم العمل على التحقق من أن العقود تتصرف على النحو المنشود.

وبالنسبة إلى المطورين، تكمن جاذبية Plinth في أن برامجها تستخدم صياغة Haskell وأنواعها القياسية، وفقًا لمؤلفي الورقة. وتشير الورقة نفسها إلى وجود أكثر من ست لغات للعقود الذكية ضمن Cardano وحدها.

المصادر

الجمعية الملكية: البروفيسور فيليب وادلر، زميل الجمعية الملكية
جامعة إدنبرة: علماء بارزون ينضمون إلى الجمعية الملكية
مكتبة ACM الرقمية: Plinth، لغة مدعومة بالمكونات الإضافية ومبنية على Haskell