Idris
Idris
حول Idrisتدريب

هل تريد تعلّم Idris وإتقانه؟

انضم إلى مسار Idris على Exercism للحصول على 58 تمرينًا مع تحليل تلقائي لكودك و إرشاد شخصي، كل ذلك مجانًا 100%.

انضم إلى مسار Idris استكشف التمارين

نبذة عن Idris

module EvenOdd

data Even : Nat -> Type where
  EZ : Even Z
  ES : Even n -> Even (S (S n))

ee : Even n -> Even m -> Even (n + m)
ee EZ m     = m
ee (ES n) m = ES (ee n m)

58 تمرينًا برمجيًا لـ Idris على Exercism. من القمر الصناعي إلى مُدقّق ISBN.

طوّر مهاراتك في البرمجة من خلال تمارين برمجية ممتعة ومجزية تختبر فهمك للمفاهيم مع Exercism.

القمر الصناعي

القمر الصناعي

أعد بناء الأشجار الثنائية من الاجتياز المسبق والاجتياز الداخلي.

السهام

السهام

احسب النقاط المحرزة في رمية واحدة في لعبة السهام.

مُدقّق ISBN

مُدقّق ISBN

تحقّق مما إذا كانت سلسلة نصية معطاة تمثّل رقم ISBN-10 صالحًا.

اطّلع على جميع تمارين Idris على Exercism

أبرز ميزات Idris

Idris

أنواع تابعة

السلامة أولًا! ضمانات قوية حول صحة البرامج في وقت الترجمة.

وظيفية بحتة

مستوحاة من حساب لامبدا، يتم التعبير عن النطاقات والحلقات من خلال تعريف الدوال واستدعائها.

أصناف الأنواع

تصنيف الأنواع إلى أصناف يوفر تحميلًا زائدًا آمنًا من حيث الأنواع.

متعدد الخيوط

كون البيانات غير قابلة للتغيير يسمح بتزامن أكثر أمانًا وأسهل في الاستدلال.

مُدمج

توفّر Idris عددًا صغيرًا من الميزات عامة الأغراض.

مبتكر

Idris هي منصة اختبار بحثية قيد التطوير النشط.

تلقَّ الإرشاد بأسلوب Idris

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

اعرف المزيد عن الإرشاد

تمارين Idris من إعداد المجتمع

يضم مسار Idris على Exercism 58 تمارين لمساعدتك على كتابة كود أفضل.

اطّلع على كل تمارين Idris
Idris

ابدأ في مسار Idris

أفضل ما في الأمر أنه مجاني 100% للجميع.

انضم إلى مسار Idris