Exercism-এর Lean ট্র্যাকে যোগ দিন এবং পেয়ে যান 100টি অনুশীলনী, আপনার কোডের স্বয়ংক্রিয় বিশ্লেষণ আর ব্যক্তিগত মেন্টরিং, সব মিলিয়ে ১০০% ফ্রি।
namespace HelloWorld
inductive World where
| earth | mars
def hello (world : World) : String :=
match world with
| .earth => "Hello, Earth!"
| .mars => "Hi, Mars!"
end HelloWorld
Exercism-এর সাথে মজার ও ফলপ্রসূ কোডিং অনুশীলনীর মাধ্যমে প্রোগ্রামিংয়ে আরও দক্ষ হয়ে উঠুন, যা কনসেপ্ট সম্পর্কে আপনার বোঝাপড়া যাচাই করে।
একটি শব্দ দেওয়া থাকলে সেই শব্দের স্ক্র্যাবল স্কোর গণনা করুন।
একটি সংখ্যা দেওয়া হলে Luhn ফর্মুলা অনুযায়ী তা বৈধ কি না, তা নির্ণয় করুন।
ইয়ট গেমে পাশার একবার ছোড়ার স্কোর হিসাব করুন।
ডিটারমিনিস্টিক ফাংশন কোডকে প্রেডিক্টেবল, কম্পোজেবল আর বুঝতে সহজ করে তোলে।
নিয়মগুলো সরাসরি টাইপে এনকোড করলে সেগুলো নিজেই ডকুমেন্টেশনের কাজ করে এবং অবৈধ স্টেট আর প্রকাশ করা যায় না।
একই ভাষায় প্রোগ্রাম লিখুন আর সেগুলোর সঠিকতা প্রমাণ করুন। স্পেসিফিকেশনই কোড।
গাণিতিকভাবে আপনার কোডের গুরুত্বপূর্ণ বৈশিষ্ট্য প্রমাণ করে টেস্টের চেয়ে এক ধাপ এগিয়ে যান।
টাইপগুলোকে ক্লাসে ভাগ করলে হালকা ও সম্প্রসারণযোগ্য অ্যাবস্ট্র্যাকশন পাওয়া যায়।
শক্তিশালী ম্যাক্রো ও এলাবোরেটর ফ্রেমওয়ার্ক দিয়ে আপনি ভাষাটিকে নিজের ডোমেইনের উপযোগী করে বাড়িয়ে নিতে পারেন।
প্রতিটি ভাষার কাজ করার নিজস্ব রীতি আছে। Lean ট্র্যাকও তার ব্যতিক্রম নয়। আমাদের মেন্টররা আপনাকে Lean ডেভেলপারের মতো ভাবতে শেখাতে সাহায্য করবেন, আর শেখাবেন কীভাবে Lean ট্র্যাকের রীতিসম্মত কোড লিখতে হয়। কোনো অনুশীলনী সমাধান করার পর সেটি আমাদের স্বেচ্ছাসেবক দলের কাছে সাবমিট করুন, আর তারা আপনাকে সংকেত, নতুন ভাবনা ও ফিডব্যাক দেবেন, যাতে আপনার সমাধান Lean ট্র্যাকে সাধারণত যা দেখা যায় তার মতো হয়ে ওঠে। আপনি যে বিষয়গুলো জানেন না, এমনকি জানেনও না যে জানেন না, সেগুলো খুঁজে বের করতেও তারা আপনাকে সাহায্য করবেন।
মেন্টরিং সম্পর্কে আরও জানুনExercism-এ Lean ট্র্যাকে আছে 100টি অনুশীলনী, যা আপনাকে আরও ভালো কোড লিখতে সাহায্য করবে।
সব Lean অনুশীলনী দেখুন