প্রশ্ন ট্যাগ «type-checking»

উদাহরণস্বরূপ, কম্পিউটারটি যদি 10111100র‌্যামের একটি নির্দিষ্ট বাইটে সঞ্চয় করে থাকে তবে কম্পিউটার কীভাবে এই বাইটটিকে পূর্ণসংখ্যা, ASCII চরিত্র বা অন্য কিছু হিসাবে ব্যাখ্যা করতে জানে? টাইপ ডেটা কি সংলগ্ন বাইটে সঞ্চিত? (আমি মনে করি না এটি এরকম হবে কারণ এর ফলে এক বাইটের জন্য দ্বিগুণ পরিমাণ জায়গার ব্যবহার হবে)) আমি …

31 memory-hardware  memory-access  type-checking 

আমি টাইপ-চেকিং অ্যালগরিদমগুলি সম্পর্কে একটি ব্যক্তিগত গ্রন্থপরিচয় গবেষণা শুরু করছি এবং কিছু টিপস চাই। সর্বাধিক ব্যবহৃত টাইপ-চেকিং অ্যালগরিদম, কৌশল এবং সাধারণ কৌশলগুলি কী কী? আমি বিশেষত জটিল টাইপ-চেকিং অ্যালগরিদমগুলিতে আগ্রহী যা ব্যাপকভাবে পরিচিত দৃ strongly় স্থিত টাইপযুক্ত ভাষায় যেমন উদাহরণস্বরূপ, সি ++, জাভা 5+, স্কালা বা অন্যান্যগুলিতে প্রয়োগ করা হয়েছিল। …

19 algorithms  programming-languages  reference-request  type-checking 

আমি একটি সংক্ষেপণমূলক ভাষার জন্য একটি সংকলক নিয়ে কাজ করছি এবং টাইপ অনুমান সমর্থন যোগ করতে চাই। আমি হিন্ডলি-মিলনার বুঝতে পারি, তবে টাইপ থিওরিটি আমি যেতে যেতে শিখছি, সুতরাং এটি কীভাবে খাপ খায় সে সম্পর্কে আমি অনিশ্চিত। নিম্নলিখিত সিস্টেমটি কি শব্দ এবং দৃid়ভাবে অক্ষম? পদটি আক্ষরিক, পদগুলির সংমিশ্রণ, পদটির একটি …

15 programming-languages  logic  compilers  type-theory  type-checking 

ধরুন আমি খুব অল্প নেটিভ লোয়ার কার্নেলের উপর ভিত্তি করে একটি অপারেটিং সিস্টেম বানাতে চাই যা একটি পরিচালিত কোড ইন্টারপ্রেটার / রানটাইম এবং একটি বৃহত্তর উপরের কার্নেলটি একটি নন-নেটিভ মেশিন ভাষার (জাভা বাইটকোড, সিআইএল ইত্যাদি) সংকলিত হিসাবে কাজ করে। অনুরূপ অপারেটিং সিস্টেমগুলির উদাহরণগুলি হবে সিঙ্গুলারিটি এবং কসমস । খাঁটি-নেটিভ সমাধানের …

14 operating-systems  type-checking  interpreters  os-kernel 

যদি কোনও ফাংশনে রিটার্ন টাইপ ⊥ ( নীচের প্রকার ) থাকে, তার অর্থ এটি কখনই ফিরে আসে না। এটি উদাহরণস্বরূপ প্রস্থান বা নিক্ষেপ করতে পারে, উভয়ই মোটামুটি সাধারণ পরিস্থিতি। সম্ভবত যদি কোনও ফাংশনটির টাইপগুলির একটি প্যারামিটার থাকে ⊥ তবে এটি কখনই (নিরাপদে) বলা যায় না। এই ধরনের ফাংশন সংজ্ঞায়িত করার …

12 type-theory  type-checking 

আমি সংকলনযুক্ত সমস্ত কিছু ভালবাসি এবং আমি এই ধারণাটি পছন্দ করি যে আপনি একবার একটি প্রোগ্রাম সংকলন করলে এটি কার্যকর করার বিষয়ে অনেক গ্যারান্টি দেওয়া হয়। সাধারণত একটি স্ট্যাটিক টাইপ সিস্টেমের কথা বলতে (হাস্কেল, সি ++, ...) মনে হয় যে কোনও গতিশীল টাইপ সিস্টেমের চেয়ে শক্তিশালী কমপাইল-সময় গ্যারান্টি দেয়। আমি …

12 programming-languages  type-theory  type-checking  software-verification 

সুতরাং আমি বর্তমানে কিছু লোকের সাথে যদিও এইচটিটি বইটি যাচ্ছি। আমি দাবি করেছিলাম যে আমরা দেখি যে বেশিরভাগ প্ররোচনামূলক প্রকারগুলি আমরা কেবল নির্ভরশীল ফাংশন এবং মহাবিশ্ব সমেত প্রকারের জন্য অনুপ্রেরণা হিসাবে পুনরাবৃত্তির প্রকারটি গ্রহণ করে তা হ্রাস করা যেতে পারে। আমি কীভাবে ভাবলাম এটি কীভাবে কাজ করবে তা আমি স্কেচ …

11 type-theory  type-checking  dependent-types  homotopy-type-theory 

এটি আমার নজরে আনা হয়েছিল যে ওসিএএমএল এর মতো কার্যকরী ভাষায় টাইপ অনুক্রমের ব্যয় খুব বেশি হতে পারে। দাবিটি হ'ল এখানে মত প্রকাশের ক্রম রয়েছে যে প্রতিটি অভিব্যক্তির জন্য সংশ্লিষ্ট প্রকারের দৈর্ঘ্য প্রকাশের দৈর্ঘ্যের উপর সূচকীয়। আমি নীচের ক্রমটি তৈরি করেছি। আমার প্রশ্নটি: আপনি কি আরও সংক্ষিপ্ত অভিব্যক্তিগুলির সাথে একটি …

11 lambda-calculus  type-theory  functional-programming  type-inference  type-checking 

কোক এর মূল ভাষায় লেট-এক্সপ্রেশন অন্তর্ভুক্ত করে। আমরা এর মতো অ্যাপ্লিকেশনগুলিতে লেট-এক্সপ্রেশনগুলি অনুবাদ করতে পারি: let x : t = v in b ~> (\(x:t). b) v আমি বুঝতে পারি যে এটি সর্বদা কাজ করে না কারণ vটাইপচিচিংয়ের সময় মানটি পাওয়া যায় না b। তবে এটি সহজেই ফর্মের অ্যাপ্লিকেশনগুলির টাইপেকেকিং …

9 type-theory  dependent-types  type-checking  coq 

ইন প্রোগ্রামিং ভাষাতে ধারণা , জন মিচেল লিখেছেন যে স্ট্যাটিক টাইপ পরীক্ষণ অগত্যা স্থগিত সমস্যা হওয়ার কারণে রক্ষণশীল (মাত্রাতিরিক্ত কঠোর) হয়। তিনি একটি উদাহরণ হিসাবে দেন: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) কেউ কি এমন একটি অ-স্বাক্ষরিত উত্তর সরবরাহ করতে পারেন যা সত্যই ব্যবহারিক উদ্বেগ হতে পারে? আমি বুঝতে পারি …

9 programming-languages  compilers  type-checking