রৈখিকতা কোনও অনন্য রাষ্ট্রীয় উপস্থাপনা পিন করার পক্ষে সীমাবদ্ধতা নয় এবং তাই আপনার প্রশ্নের উত্তর নির্ভর করে আপনি কীভাবে রাষ্ট্রের ক্ষেত্রে লিনিয়ার যুক্তি ব্যাখ্যা করেন on এটি আপনাকে কীভাবে ব্যাখ্যা করতে হবে তা সাধারণত প্রতিফলিত হবে !A পরিমিতি।
যদি আপনার রেফারেন্সের উদ্দেশ্যে শব্দার্থতত্ত্বগুলি বলে যে সমস্ত পয়েন্টারগুলি অনন্য মান (যেমন, কোনও জিনিসের সর্বাধিক একক রেফারেন্স থাকে) তবে ডাগগুলি এবং গ্রাফ কাঠামোগুলি তাৎপর্যপূর্ণ কারণেই দাগগুলিতে একাধিক উল্লেখ থাকতে পারে একই জিনিস। এক্ষেত্রে অবশ্যই এমন একটি গণনা হতে হবে যা A টাইপের নতুন মান তৈরি করে , যেহেতু আপনি মানচিত্রগুলি চান এবং ।!AAε একটি : ! এ ⊸ এδএকজন: ! একজন ⊸ ! একজন ⊗ ! একজনεএকজন: ! এ ⊸ এ
যাইহোক, যে অনুমান যদি আপনি চান প্রতিনিধিত্ব করতে শেয়ারিং । তারপর, বস্তু মানচিত্র সহ আবর্জনা-সংগৃহীত রেফারেন্স কাউন্টিং সঙ্গে হতে পারে, এবং অপারেশন যা শুধু রেফারেন্স গন্য আচমকা যেমন উপলব্ধি করা যায়। এক্ষেত্রে আপনি লিনিয়ারিটি ধরে নিতে ব্যবহার করতে পারবেন না যে ভাগ করা হচ্ছে সেহেতু মানগুলি পরিবর্তন করা সর্বদা নিরাপদ। তবে আপনি নিশ্চিত করতে পারেন যে সমস্ত প্রোগ্রামের মধ্যে সমস্ত মেমরি বরাদ্দ স্পষ্ট, এবং স্তূপে কোনও চক্র নেই।δ একটি : ! একজন ⊸ ! একজন ⊗ ! একজন ε একটি : ! এ ⊸ এ! একজনδএকজন: ! একজন ⊸ ! একজন ⊗ ! একজনεএকজন: ! এ ⊸ এ
লিনিয়ার ধরণের বেশিরভাগ ব্যবহারিক বাস্তবায়ন এই দুটি ব্যাখ্যার কোনওটিই ব্যবহার করে না । পরিবর্তে, উল্লেখগুলি অবাধে সদৃশ সত্তা হিসাবে দেখা হয় এবং আমরা রৈখিকভাবে যা ট্র্যাক করি তা বাস্তবে ক্ষমতা । দক্ষতা রানটাইম মান নয়; এগুলি নিখুঁতভাবে ধারণাগত সত্তা যা কোনও রেফারেন্স অ্যাক্সেসের অনুমতিটি প্রতিনিধিত্ব করার উদ্দেশ্যে তৈরি হয়। ধারণাটি হ'ল আপনি অনুমতি-পাসিং শৈলীতে প্রোগ্রাম করেন, এবং একই জিনিসটির অনেকগুলি উল্লেখ থাকলেও, রাজ্যের কোনও অংশে একটি পঠন বা পরিবর্তন কেবল তখনই ঘটতে পারে যখন আপনার এটির অ্যাক্সেস করার ক্ষমতাও রয়েছে। এবং ক্ষমতা যেহেতু লিনিয়ার তাই আপনি জানেন যে কেবলমাত্র আপনি এটি পরিবর্তন করতে পারবেন।
এন ই ডব্লিউg e ts ই টিসি ও পি ওয়াই::::∀ α ।α ⊸ ∃ সি : ι । গ একটি পি ( গ ) ⊗ R ই চ( α , সি )∀ α , সি : ι ।গ একটি পি (গ)⊗ R ই চ(α,c)⊸α⊗cap(c)⊗ref(α,c)∀α,c:ι.cap(c)⊗ref(α,c)⊗α⊸cap(c)⊗ref(α,c)∀α,c:ι.ref(α,c)⊸ref(α,c)⊗ref(α,c)
উপরের স্কেচ করা এপিআই-তে, পরিমাণ over , কম্পাইল-টাইম সূচকগুলির কয়েকটি ডোমেন এবং over রেঞ্জ বিভিন্ন ধরণের রয়েছে। আমাদের কাছে একটি প্রকার যা দ্বারা একটি ক্ষমতা এবং , যা রেফারেন্স একটি ক্ষমতা দ্বারা অ্যাক্সেস করা হয় । কল করা হচ্ছে এবং একটি রেফারেন্স উপর সামর্থ্য প্রয়োজন , এবং কলিং একটি নতুন রেফারেন্স এবং একটি নতুন সামর্থ্য একটি সাধারণ সূচক ভাগ সৃষ্টি করে। তবে,গιαসি এ পি (সি)গref(α,c)αcgetsetcnewcopy-এবং রেফারেন্সটি কোনও সামর্থ্যের অ্যাক্সেসের প্রয়োজন হয় না, তাই যে কেউ যতক্ষণ রেফারেন্সটি এর ভিতরে না দেখায় অনুলিপি করতে পারে।