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 অনুশীলনী দেখুন