DataFrame خفيف الوزن في MicroHs: مغامرة Haskell 2010

بدءًا من مشروع Android في Frege (Haskell على JVM) في عام 2015، قاد مسار البرمجة الوظيفية للمؤلف إلى السعي وراء فصل مكتبة DataFrame الخاصة به عن GHC من أجل التوافق مع MicroHs. تتناول هذه المقالة تفاصيل تنفيذ وظائف DataFrame الأساسية - الإنشاء، التعبيرات الأساسية، `filterWhere`، `derive`، وترجمة Markdown - في Haskell 2010، بدون GADTs، أو عائلات الأنواع، أو الانعكاس. تُظهر التجربة أنه على الرغم من الإطناب، إلا أن الوظائف الأساسية تظل قابلة للتطبيق، مما يوفر إمكانية النقل بين MicroHs (لـ CLIs الصغيرة أو السياقات المضمنة) و GHC (للحصول على السرعة والوصول إلى النظام البيئي). تبلغ أحجام الملفات الثنائية في MicroHs حوالي 100 مرة أصغر، لكنها أبطأ من 5 إلى 10 مرات؛ وهو مساومة مجدية للعديد من مهام معالجة البيانات، مما يسمح باستخدام الخلفية GHC للمهام الثقيلة.