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

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

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

Exercism पर Idris के लिए 58 कोडिंग अभ्यास। आर्मस्ट्रांग संख्याएँ से Atbash सिफर तक।

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

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

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

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

फोन नंबर

फोन नंबर

उपयोगकर्ता द्वारा डाले गए फोन नंबर साफ़ कीजिए ताकि उन्हें SMS भेजे जा सकें।

Atbash सिफर

Atbash सिफर

Atbash सिफर का कार्यान्वयन बनाइए। यह मध्य पूर्व में बनी एक प्राचीन एन्क्रिप्शन प्रणाली है।

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

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

Idris

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

सुरक्षा सबसे पहले! कंपाइल समय पर प्रोग्राम के सही होने की मज़बूत गारंटी।

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

लैम्ब्डा कैलकुलस से प्रेरित: यहाँ स्कोप और लूप फंक्शन बनाकर और कॉल करके लिखे जाते हैं।

टाइप क्लास

टाइप्स को क्लास में बाँटने से टाइप-सेफ ओवरलोडिंग की सुविधा मिलती है।

मल्टीथ्रेडेड

डेटा के अपरिवर्तनीय होने से कंकरेंसी ज़्यादा सुरक्षित और समझने में आसान हो जाती है।

संक्षिप्त

Idris में सामान्य कामों के लिए कुछ ही फीचर हैं।

अभिनव

Idris एक ऐसा शोध परीक्षण-मंच है, जिसे सक्रिय रूप से विकसित किया जा रहा है।

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

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

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

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

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

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

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

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

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