Exercism-এর Idris ট্র্যাকে যোগ দিন এবং পেয়ে যান 58টি অনুশীলনী, আপনার কোডের স্বয়ংক্রিয় বিশ্লেষণ আর ব্যক্তিগত মেন্টরিং, সব মিলিয়ে ১০০% ফ্রি।
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 অল্প কিছু জেনারেল-পারপাস ফিচার সরবরাহ করে।
Idris একটি সক্রিয়ভাবে উন্নয়নাধীন রিসার্চ টেস্টবেড
প্রতিটি ভাষার কাজ করার নিজস্ব রীতি আছে। Idris ট্র্যাকও তার ব্যতিক্রম নয়। আমাদের মেন্টররা আপনাকে Idris ডেভেলপারের মতো ভাবতে শেখাতে সাহায্য করবেন, আর শেখাবেন কীভাবে Idris ট্র্যাকের রীতিসম্মত কোড লিখতে হয়। কোনো অনুশীলনী সমাধান করার পর সেটি আমাদের স্বেচ্ছাসেবক দলের কাছে সাবমিট করুন, আর তারা আপনাকে সংকেত, নতুন ভাবনা ও ফিডব্যাক দেবেন, যাতে আপনার সমাধান Idris ট্র্যাকে সাধারণত যা দেখা যায় তার মতো হয়ে ওঠে। আপনি যে বিষয়গুলো জানেন না, এমনকি জানেনও না যে জানেন না, সেগুলো খুঁজে বের করতেও তারা আপনাকে সাহায্য করবেন।
মেন্টরিং সম্পর্কে আরও জানুনExercism-এ Idris ট্র্যাকে আছে 58টি অনুশীলনী, যা আপনাকে আরও ভালো কোড লিখতে সাহায্য করবে।
সব Idris অনুশীলনী দেখুন