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

এটি একটি ফলো আপ প্রশ্ন প্রমাণ এবং প্রোগ্রামগুলির মধ্যে পার্থক্য কী (বা প্রস্তাব এবং প্রকারের মধ্যে)? কোন প্রোগ্রামটি একটি অ-গঠনমূলক (শাস্ত্রীয়) প্রমাণের সাথে ? (ধরে নিন যে কিছু আকর্ষণীয় সিদ্ধান্ত গ্রহণযোগ্য সম্পর্ক যেমন তম টিএম পদক্ষেপে থামে না ))টি ই কে∀k T(e,k)∨¬∀k T(e,k)∀k T(e,k)∨¬∀k T(e,k)\forall k \ T(e,k) \lor \lnot …

29 lo.logic  pl.programming-languages  proof-theory 

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

28 soft-question  pl.programming-languages  type-theory 

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

28 pl.programming-languages  big-picture  type-theory 

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

28 fl.formal-languages  pl.programming-languages  grammars 

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

28 computability  turing-machines  pl.programming-languages  recreational 

স্বজ্ঞাতদৃষ্টির ধরণের তত্ত্বের সংস্পর্শে আসার পরে আমি প্রস্তাব এবং বিচারের মধ্যে সূক্ষ্ম পার্থক্য দেখে বিভ্রান্ত হয়ে পড়ি। কেউ আমাকে ব্যাখ্যা করতে পারেন যে তাদের পার্থক্য করার কী অর্থ এবং কী তাদের আলাদা করে? বিশেষত কারি-হাওয়ার্ড আইসোমর্ফসিমের বিবেচনায়।

27 lo.logic  pl.programming-languages  type-theory 

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

27 lo.logic  pl.programming-languages  type-theory  algebra 

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

26 lo.logic  pl.programming-languages 

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

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

হিসাবে ছিল ল্যামডা কোন প্রতিক্রিয়া আলটিমেট আমি এটা এখানে আবার চেষ্টা করে দেখুন: মেয়াদ rewriting সিস্টেম স্বয়ংক্রিয় উপপাদ্য একটি সিম্বলিক হিসাব প্রতিপাদন মধ্যে উদাহরণস্বরূপ ব্যবহার করা হয়, এবং অবশ্যই আনুষ্ঠানিক ব্যাকরণ সংজ্ঞায়িত করতে। শব্দ পুনরায় লেখার উপর ভিত্তি করে কিছু প্রোগ্রামিং ল্যাঙ্গুয়েজ রয়েছে, তবে যতদূর আমি বুঝতে পারি প্যাটার্ন ম্যাচিং …

25 pl.programming-languages  terminology  term-rewriting-systems 

1) স্ট্যাটিক টাইপিং এবং ফর্মাল ব্যাকরণগুলির মধ্যে কী সম্পর্ক? 2) বিশেষত, কোনও লিনিয়ার বাউন্ডেড অটোমেটনের পক্ষে, একটি সি ++ বা এসএমএল প্রোগ্রামটি ভাল টাইপ করা হয়েছে কিনা তা পরীক্ষা করা সম্ভব হবে? নেস্টেড স্ট্যাক অটোমেটন? 3) আনুষ্ঠানিক ব্যাকরণ শর্তে স্থিতিশীল টাইপিং বিধি প্রকাশ করার প্রাকৃতিক উপায় আছে কি?

25 automata-theory  fl.formal-languages  pl.programming-languages  type-theory  type-inference 

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

24 lo.logic  soft-question  pl.programming-languages  linear-logic 

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

24 lo.logic  pl.programming-languages  type-theory 

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

23 lo.logic  soft-question  pl.programming-languages  constructive-mathematics 

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

23 pl.programming-languages  type-theory