আলস্যতা সম্পর্কিত মেমরি ফাঁস প্রতিরোধকারী টাইপ সিস্টেমগুলি?


10

সম্ভবত হাস্কেলের পারফরম্যান্স সমস্যার মূল উত্স হ'ল যখন কোনও প্রোগ্রাম অসাবধানতার সাথে সীমাহীন গভীরতার একটি অংশ তৈরি করে - মূল্যায়ন করার সময় এটি মেমরি ফাঁস এবং সম্ভাব্য স্ট্যাক উভয় প্রবাহকে কারণ করে। ক্লাসিক উদাহরণটি sum = foldr (+) 0হ্যাসকেলে সংজ্ঞায়িত করছে।

অলস ভাষাটি ব্যবহার করে কোনও প্রোগ্রামে এমন কোনও থানকের অভাব স্থিতিশীলভাবে প্রয়োগ করা আছে কি?

প্রকারের সিস্টেম এক্সটেনশানগুলি ব্যবহার করে অন্যান্য স্থিতিশীল প্রোগ্রামের বৈশিষ্ট্য প্রমাণ করার মতো অসুবিধা একই ক্রমে হওয়া উচিত বলে মনে হয়, যেমন থ্রেড সুরক্ষা বা মেমরির সুরক্ষার কিছু স্বাদ।

উত্তর:


4

লেভি এর কল ধাক্কা মান ক্যালকুলাস মূল্যবোধ ও তাদের thunks মধ্যে একটি পার্থক্য তোলে। মানের vএকটি ধরণের tyজন্য গণনা thunk vটাইপ আছে U ty। লিন্ডলি এবং ম্যাকব্রাইডের ফ্র্যাঙ্ক ভাষা, সিবিপিভি দ্বারা অনুপ্রাণিত, গণনা এবং মানগুলির মধ্যে এই পার্থক্যকে স্পষ্ট করে তোলে, যদিও হাস্কেলের বিপরীতে, ফ্র্যাঙ্ক কঠোর।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.