প্রশ্ন ট্যাগ «pl.programming-languages»

কোনও বিভাগে দ্বিপ্রডাক্ট থাকে যখন একই জিনিস দুটি পণ্য এবং কপোড্রাক্ট থাকে। কেউ কি বাইপ্রোডাক্টসের সাথে বিভাগগুলির প্রুফ তত্ত্বটি তদন্ত করেছে? সম্ভবত সর্বাধিক পরিচিত উদাহরণটি ভেক্টর স্পেসগুলির বিভাগ, যাতে প্রত্যক্ষ যোগফল এবং সরাসরি পণ্য নির্মাণ একই ভেক্টরকে স্থান দেয়। এর অর্থ ভেক্টর স্পেস এবং লিনিয়ার মানচিত্রগুলি লিনিয়ার লজিকের একটি সামান্য …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

আমার আসলে দুটি প্রশ্ন আছে: শব্দার্থবিজ্ঞানের সাথে সম্পর্কিত হওয়ার জন্য কে প্রথম যৌক্তিক সম্পর্ক ব্যবহার করেছিল? আমি তাদের পুনরায় রেনল্ডের " অন ​​রিলেশন বিটুইন বিইন ডাইরেক্ট অ্যান্ড কন্টিনিউশনেশন সেমেন্টিকস "-এ ফিরে পেয়েছি, তবে আমি দাবি করতে পারি না যে একটি বিস্তৃত অনুসন্ধান করেছে। যৌক্তিক সম্পর্কের রেফারেন্সগুলি আমি এর আগে খুঁজে …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Defunctionalization হল এমন একটি প্রোগ্রাম রূপান্তর যা উচ্চ-অর্ডার প্রোগ্রামগুলিকে প্রথম অর্ডার প্রোগ্রামগুলিতে রূপান্তর করে। ধারণাটি হ'ল একটি প্রোগ্রাম দেওয়া হয়েছে, কেবলমাত্র চূড়ান্তভাবে অনেকগুলি ল্যাম্বডা-অ্যাবস্ট্রাকশন রয়েছে, তাই আপনি প্রতিটি ল্যাম্বডাকে একটি আইডি দিয়ে প্রতিস্থাপন করতে পারেন এবং প্রতিটি ফাংশন অ্যাপ্লিকেশন একটি প্রয়োগ পদ্ধতিতে একটি কল দিয়ে সেই আইডিতে শাখা করে। এটি …

15 pl.programming-languages  compilers 

ধরা যাক আমরা এমন একটি প্রোগ্রামিং ল্যাঙ্গুয়েজ নিয়ে কাজ করছি যেটিতে রৈখিক প্রকারের জন্য সমর্থন রয়েছে (লিনিয়ার ধরণের শর্তগুলি একবারে ব্যবহার করা যেতে পারে, তাই বলে)। এটি কিছু কম্পিউটেশনাল এফেক্টস (যেমন মিউটেশন এমনকি অপারেন্ডের ধরণ পরিবর্তন করে) ভাষার ক্ষেত্রে সমস্যাযুক্ত, সেই ধরণের সিস্টেমগুলি কেবল "চিরন্তন সত্য "গুলিতে পরিচালিত করে তার …

15 pl.programming-languages  type-theory  linear-logic 

বনাচের নির্দিষ্ট পয়েন্টের উপপাদ্যটি বলে যে আমাদের যদি কোনও অস্তিত্ব পূর্ণ মেট্রিক স্পেস AএকজনA , তবে যেকোন অভিন্ন সংকোচনের কাজটি f:A→Aচ:একজন→একজনf : A \to A এর একটি অনন্য স্থির বিন্দু থাকে μ(f)μ(চ)\mu(f) । যাইহোক, এই উপপাদ্য প্রমাণ পছন্দের সবর্জনবিদিত প্রয়োজন - আমরা একটি অবাধ উপাদান চয়ন করতে হবে iterating শুরু …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

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

14 lo.logic  pl.programming-languages  type-theory  automated-theorem-proving 

শক্তিশালী নরমালাইজেশন প্রমাণগুলি নিয়ে আলোচনা করার সময়, এই মন্তব্যটি "সাধারণ ফর্মগুলির মডেল" কে "খাঁটি সিনট্যাকটিক পদ্ধতিগুলি" এর সাথে পৃথক করে। এটি আমাকে আরও একটি মৌলিক প্রশ্নে ফিরিয়ে এনেছে: সিনট্যাক্স ভিত্তিক মডেলগুলির ক্ষেত্রে আমরা কী সিনট্যাক্টিক এবং শব্দার্থক নির্মাণগুলি কঠোরভাবে আলাদা করতে পারি? বীজগণিতগুলির জন্য টার্ম মডেলগুলি, প্রথম-আদেশের যুক্তির জন্য হেনকিনের …

14 lo.logic  pl.programming-languages  operational-semantics 

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

14 pl.programming-languages  lambda-calculus 

প্রাকৃতিক সংখ্যার মতো সূচকযুক্ত ডেটাটাইপ সহ (তালিকা বা গাছগুলিও ঠিকঠাক হবে) সহ প্রোজনীয় স্বজ্ঞাত যুক্তির জন্য একটি কাট-নির্মূলের উপপাদ্য বিশদ সম্পর্কিত কোনও কাগজে আমাকে কী নির্দেশনা দিয়েছেন? সিস্টেম আমি আগ্রহী ধরনের একটি উদাহরণ গোডেলের টি, যা ব্যাকরণ কর্তৃক প্রদত্ত ধরনের আছে । আমি প্রাকৃতিক সংখ্যার তুলনায় কোয়ানটিফায়ারগুলিতে খুব আগ্রহী নই …

14 lo.logic  pl.programming-languages  sequent-calculus 

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

14 pl.programming-languages  lambda-calculus  proof-theory  normalization 

অন্য প্রশ্নের জবাবে ল্যাম্বদা ক্যালকুলাসের বিটা তত্ত্বের বর্ধন, এভেজেনিজ উত্তরটি দিয়েছিল: বিটা + বিধি {s = t | গুলি এবং টি অদৃশ্যযোগ্য শর্তাদি বন্ধ রয়েছে} যেখানে এম শব্দটি দ্রবণযোগ্য হয় যদি আমরা এমন শর্তাবলীর সন্ধান পেতে পারি যেগুলিতে এম এর প্রয়োগ আমার সাথে সমান হয় । এভেজেনিজের উত্তরটি ল্যাম্বডা ক্যালকুলাসের …

14 pl.programming-languages  lambda-calculus  lo.logic 

প্রশ্ন কি Okasaki যেহেতু বিশুদ্ধরূপে কার্মিক ডাটা স্ট্রাকচার নতুন? , এবং jbapple এর মহাকাব্য উত্তর, ফাংশনাল প্রোগ্রামিং (লজিক প্রোগ্রামিংয়ের বিপরীতে) এর মধ্যে পার্থক্য তালিকা ব্যবহার করে উল্লিখিত, যা এমন একটি বিষয় যা আমি সম্প্রতি আগ্রহী। এটি আমাকে হাস্কেলের জন্য পার্থক্য তালিকা বাস্তবায়নের সন্ধান করতে পরিচালিত করে । আমার দুটি প্রশ্ন …

14 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

[1] সালে মিচেল ওয়ান্ড প্রদর্শিত যে বিশুদ্ধ ল্যামডা ক্যালকুলাস করার fexprs যোগ প্রাসঙ্গিক সমানতা তত্ত্ব trivializes, যার অর্থ দুটি পদ বিষয়গতভাবে সমতুল্য iff তারা হয় -congruent। যখন সংশ্লিষ্ট কাজ অন্বেষণ, তিনি গেলেন "আমাদের ফলাফলের আলবার্ট মেয়ার এর একটি পুরোনো পর্যবেক্ষণ [2] যে প্রসারিত করে এবং রেন্ডার প্রাসঙ্গিক সমানতা তুচ্ছ"। তবে …

13 pl.programming-languages  lisp  scheme 

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

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

শিফ্ট-হ্রাস পার্সিং কৌশল এবং সীমিত ধারাবাহিকতার মধ্যে কি কেউ সম্পর্কের আনুষ্ঠানিকতা করেছেন? যখন একটি নীচে আপ পার্সার (যেমন, এল আর পারজার) নির্মাণের, আমরা একটি ব্যাকরণ গ্রহণ করা এবং তারপর সেট হিসাবে পার্স রাজ্যের প্রতিনিধিত্ব আইটেম : ফর্মের বৃদ্ধি প্রযোজনার , যেখানে α এবং β টার্মিনাল এবং nonterminals ক্রমের হয়। মার্কার …

13 pl.programming-languages  parsing