1 مستودع
Awesome GitHub RepositoriesInteractive Programming Environments
Tools that combine a shell, REPL, and variable inspection for dynamic code evaluation.
Distinct from Go Variable Inspection: Shortlist candidates are too narrow, focusing only on variable inspection or debugging utilities.
Explore 1 awesome GitHub repository matching development tools & productivity · Interactive Programming Environments. Refine with filters or upvote what's useful.
Awesome Interactive Programming Environments GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- system-f/fp-course
system-f/fp-course
4,237عرض على GitHubهذا المشروع عبارة عن منصة تعليمية قائمة على التمارين ودورة برمجة وظيفية مصممة لتعليم Haskell من خلال منهج منظم من مهام التنفيذ العملية. يعمل كبرنامج تعليمي تفاعلي وإطار عمل تعليمي حيث يتقن الطلاب مفاهيم البرمجة الوظيفية من خلال إكمال سلسلة من الوحدات المنسقة. تؤكد المنصة على سير عمل التطوير القائم على الأنواع (type-driven)، باستخدام ثقوب الأنواع (type holes) والاستعلام عن الأنواع المدمج في المترجم لتوجيه اكتشاف منطق البرنامج. توفر بيئة برمجة تفاعلية عبر حلقة القراءة-التقييم-الطباعة (REPL)، مما يسمح بتجربة الكود في الوقت الفعلي، والاستعلام عن أنواع التعبيرات، وفحص تفاصيل المعرفات. يتم ضمان الصحة من خلال نظام تحقق مؤتمت يجمع بين اختبارات الوحدات ومجموعة اختبارات قائمة على الخصائص (property-based testing). تستخدم هذه الأدوات توليد مدخلات عشوائية للتحقق من أن حلول التمارين تلبي متطلبات محددة. يغطي المنهج بناء جملة اللغة، وتوقيعات الأنواع، وتعدد الأشكال (polymorphism)، ومطابقة الأنماط لتفكيك هياكل البيانات المعقدة.
Ships an interactive environment combining a REPL and type inspection for real-time code experimentation.
Haskell
