Idris শিখতে ও আয়ত্ত করতে চান?

Exercism-এর Idris ট্র্যাকে যোগ দিন এবং পেয়ে যান 58টি অনুশীলনী, আপনার কোডের স্বয়ংক্রিয় বিশ্লেষণ আর ব্যক্তিগত মেন্টরিং, সব মিলিয়ে ১০০% ফ্রি।

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টি কোডিং অনুশীলনী। বাইনারি সার্চ থেকে রেজিস্টর কালার ট্রিও পর্যন্ত।


Exercism-এর সাথে মজার ও ফলপ্রসূ কোডিং অনুশীলনীর মাধ্যমে প্রোগ্রামিংয়ে আরও দক্ষ হয়ে উঠুন, যা কনসেপ্ট সম্পর্কে আপনার বোঝাপড়া যাচাই করে।

Exercism-এ Idris ট্র্যাকের সব অনুশীলনী দেখুন

Idris ট্র্যাকের মূল বৈশিষ্ট্যগুলো


Idris

নির্ভরশীল টাইপযুক্ত

নিরাপত্তাই আগে! কম্পাইল টাইমে প্রোগ্রামের সঠিকতা সম্পর্কে দৃঢ় নিশ্চয়তা।

পিউর ফাংশনাল

ল্যাম্বডা ক্যালকুলাস দ্বারা অনুপ্রাণিত; এখানে স্কোপ ও লুপ প্রকাশ করা হয় ফাংশন ডিফাইন ও কল করার মাধ্যমে।

টাইপ ক্লাস

টাইপকে ক্লাসে ভাগ করলে টাইপ-সেফ ওভারলোডিং পাওয়া যায়।

মাল্টিথ্রেডেড

ডেটা ইমিউটেবল হওয়ায় কনকারেন্সি আরও নিরাপদ এবং বোঝা সহজ হয়।

কম্প্যাক্ট

Idris অল্প কিছু জেনারেল-পারপাস ফিচার সরবরাহ করে।

উদ্ভাবনী

Idris একটি সক্রিয়ভাবে উন্নয়নাধীন রিসার্চ টেস্টবেড

Idris ট্র্যাকের ধাঁচে মেন্টরিং নিন

প্রতিটি ভাষার কাজ করার নিজস্ব রীতি আছে। Idris ট্র্যাকও তার ব্যতিক্রম নয়। আমাদের মেন্টররা আপনাকে Idris ডেভেলপারের মতো ভাবতে শেখাতে সাহায্য করবেন, আর শেখাবেন কীভাবে Idris ট্র্যাকের রীতিসম্মত কোড লিখতে হয়। কোনো অনুশীলনী সমাধান করার পর সেটি আমাদের স্বেচ্ছাসেবক দলের কাছে সাবমিট করুন, আর তারা আপনাকে সংকেত, নতুন ভাবনা ও ফিডব্যাক দেবেন, যাতে আপনার সমাধান Idris ট্র্যাকে সাধারণত যা দেখা যায় তার মতো হয়ে ওঠে। আপনি যে বিষয়গুলো জানেন না, এমনকি জানেনও না যে জানেন না, সেগুলো খুঁজে বের করতেও তারা আপনাকে সাহায্য করবেন।

মেন্টরিং সম্পর্কে আরও জানুন

কমিউনিটির অবদানে গড়া Idris অনুশীলনী

Exercism-এ Idris ট্র্যাকে আছে 58টি অনুশীলনী, যা আপনাকে আরও ভালো কোড লিখতে সাহায্য করবে।

সব Idris অনুশীলনী দেখুন
Idris

Idris ট্র্যাক নিয়ে শুরু করুন

সবচেয়ে বড় কথা, এটি সবার জন্য ১০০% ফ্রি।

Idris ট্র্যাকে যোগ দিন