Idris
لغة برمجة وظيفية صرفة عامة الأغراض بأنواع تابعة متأثرة بـ Haskell وML.
دليلك
نظرة عامة كتبها الذكاء الاصطناعيعلى موقع آخر. من القائمة: sindresorhus/awesome · الرخصة: CC0-1.0 · لغات البرمجة · الترجمات مولّدة بالذكاء الاصطناعي؛ راجع الأصل دائمًا.
كيف تتعلم من مشروع أو قائمة على GitHub
مسارك عبر لغات أخرى
محطة 75
Haskell
قائمة موارد
محطة 76
كيف يعمل OpenGL: التصيير البرمجي في 500 سطر من الشيفرة
مشروع للبناء
محطة 77
Idris
قائمة موارد
محطة 78
Jonesforth
مشروع للبناء
محطة 79
Julia
قائمة موارد
محطة 80
ابنِ محرّك ألعاب خاصًا بك
مشروع للبناء
محطة 81
الكائنات المرصودة (Observables)
قائمة موارد
واصل الاستكشاف
لغات أخرى
رائد فضاء متقدم
الصعوبة
5/5
قائمة موارد
لغات أخرى
رائد فضاء متقدم
Q#
الصعوبة
5/5
قائمة موارد
لغات أخرى
رائد فضاء متقدم
الصوت العلمي
الصعوبة
5/5
قائمة موارد
لغات أخرى
رائد فضاء متقدم
Coq
الصعوبة
5/5
قائمة موارد