1
কোনও ফাংশনের মেমোরি ব্যবহারের মতো বৈশিষ্ট্যগুলি কি নির্ভর করে টাইপ করা ভাষায় প্রকাশ করা যায়?
মনে করুন যে কোনও ব্যক্তি কোডের বৈশিষ্ট্যগুলি যেমন সামগ্রিকতা এবং কার্যকরী বিশুদ্ধতার বাইরে যুক্তি করতে চান - কেউ মেমরির খরচ বা কোনও ফাংশনের অ্যালগরিদমিক জটিলতা সম্পর্কেও চিন্তা করে। নির্ভরশীল টাইপিং এবং এফেক্টস সিস্টেমের মাধ্যমে এটি করা যায়?