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. من المثلث إلى المصافحة السرية.

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

المثلث

المثلث

حدّد ما إذا كان المثلث متساوي الأضلاع أو متساوي الساقين أو مختلف الأضلاع.

رقم الهاتف

رقم الهاتف

نظّف أرقام الهاتف التي يُدخلها المستخدم حتى يمكن إرسال رسائل نصية إليها.

المصافحة السرية

المصافحة السرية

بمعلومية عدد عشري، حوّله إلى تتابع الأحداث المناسب لمصافحة سرية.

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

أبرز ميزات Idris

Idris

أنواع تابعة

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

وظيفية بحتة

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

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

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

متعدد الخيوط

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

مُدمج

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

مبتكر

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

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

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

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

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

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

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

ابدأ في مسار Idris

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

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