Lean
Lean
Lean के बारे मेंअभ्यास करें

Lean सीखना और उसमें महारत हासिल करना चाहते हैं?

Exercism के Lean ट्रैक से जुड़िए और पाइए 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

Exercism पर Lean के लिए 100 कोडिंग अभ्यास। आर्मस्ट्रांग संख्याएँ से शब्दों की गिनती तक।

Exercism के साथ मज़ेदार और फायदेमंद कोडिंग अभ्यासों के ज़रिए प्रोग्रामिंग में बेहतर बनिए, जो आपकी कॉन्सेप्ट की समझ परखते हैं।

आर्मस्ट्रांग संख्याएँ

आर्मस्ट्रांग संख्याएँ

तय कीजिए कि कोई संख्या आर्मस्ट्रांग संख्या है या नहीं।

Affine सिफर

Affine सिफर

Affine सिफर का कार्यान्वयन बनाइए। यह मध्य पूर्व का एक प्राचीन एन्क्रिप्शन एल्गोरिदम है।

शब्दों की गिनती

शब्दों की गिनती

एक वाक्यांश दिया गया है; उसमें हर शब्द कितनी बार आता है, यह गिनिए।

Exercism पर Lean के सारे अभ्यास देखें

Lean की मुख्य विशेषताएँ

Lean

पूरी तरह फंक्शनल

डिटरमिनिस्टिक फंक्शन कोड को पहले से अनुमान लगाने योग्य, आपस में जोड़ने योग्य और समझने में आसान बनाते हैं।

डिपेंडेंट टाइप

नियमों को सीधे टाइप में उतारने से टाइप खुद ही अपना अर्थ बता देते हैं और गलत स्थितियों को दर्शाना असंभव हो जाता है।

प्रोग्राम और प्रमाण

एक ही भाषा में प्रोग्राम लिखिए और उन्हें सही सिद्ध कीजिए। स्पेसिफिकेशन ही कोड है।

प्रमाणित शुद्धता

टेस्टिंग से आगे बढ़िए और अपने कोड के महत्वपूर्ण गुणों को गणितीय ढंग से सिद्ध कीजिए।

टाइप क्लास

टाइप को क्लास में बाँटने से हल्का और बढ़ाने योग्य एब्स्ट्रैक्शन मिलता है।

शक्तिशाली मेटाप्रोग्रामिंग

एक शक्तिशाली मैक्रो और एलाबोरेटर फ्रेमवर्क की मदद से आप भाषा को अपने क्षेत्र के हिसाब से बढ़ा सकते हैं।

Lean के तरीके से मेंटर की मदद लीजिए

हर भाषा के अपने तरीके होते हैं। Lean भी इससे अलग नहीं है। हमारे मेंटर आपको Lean डेवलपर की तरह सोचना सिखाएँगे और यह भी बताएँगे कि Lean की शैली में कोड कैसे लिखा जाता है। जब आप कोई अभ्यास हल कर लें, तो उसे हमारी स्वयंसेवी टीम को जमा कीजिए। वे आपको संकेत, सुझाव और प्रतिक्रिया देंगे कि उसे Lean में आम तौर पर दिखने वाले कोड जैसा कैसे बनाया जाए। वे आपको वे बातें खोजने में भी मदद करेंगे जो आप नहीं जानते कि आप नहीं जानते।

मेंटर से मदद लेने के बारे में और जानिए

समुदाय द्वारा तैयार किए गए Lean अभ्यास

Exercism पर Lean ट्रैक में बेहतर कोड लिखने में मदद के लिए 100 अभ्यास हैं।

Lean के सभी अभ्यास देखें
Lean

Lean ट्रैक से शुरुआत कीजिए

सबसे अच्छी बात यह है कि यह सबके लिए 100% मुफ्त है।

Lean ट्रैक से जुड़ें