Lean
Lean
حول Leanتدريب

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

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

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

نبذة عن Lean

namespace HelloWorld

inductive World where
    | earth | mars

def hello (world : World) : String :=
    match world with
    | .earth => "Hello, Earth!"
    | .mars  => "Hi, Mars!"

end HelloWorld

100 تمرينًا برمجيًا لـ Lean على Exercism. من تسطيح المصفوفة إلى عكس سلسلة نصية.

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

تسطيح المصفوفة

تسطيح المصفوفة

خُذ قائمة متداخلة وأرجِع قائمة واحدة تضم كل القيم باستثناء `nil`/`null`.

اللفظي

اللفظي

حلّل مسائل رياضية كلامية بسيطة وقيّمها، مع إرجاع الإجابة كعدد صحيح.

عكس سلسلة نصية

عكس سلسلة نصية

اعكس سلسلة نصية معطاة.

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

أبرز ميزات Lean

Lean

دالية بحتة

الدوال الحتمية تجعل الكود أكثر قابلية للتنبؤ، وأسهل في التركيب والفهم.

أنواع تابعة

تضمين القواعد مباشرةً في الأنواع يجعلها موثّقة بذاتها، ويمنع تمثيل الحالات غير الصحيحة.

برامج وبراهين

اكتب البرامج وأثبت صحتها باللغة نفسها. المواصفة كود.

صحة مُبرهَنة

تجاوز حدود الاختبار بإثبات الخصائص الجوهرية في كودك رياضيًا.

أصناف الأنماط

تصنيف الأنواع إلى أصناف يوفّر تجريدًا خفيفًا وقابلًا للتوسيع.

برمجة فوقية قوية

إطار عمل قوي للماكرو والمُفصِّل يتيح لك توسيع اللغة لتناسب مجالك.

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

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

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

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

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

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

ابدأ في مسار Lean

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

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