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

আমি নিম্নলিখিত টাইপ করা তত্ত্ব আছে |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) সমস্ত পদ সমীকরণ সহ: f : A -> B, g …

10 lo.logic  pl.programming-languages  type-theory  ct.category-theory  automated-theorem-proving 

আমি কিছু সময়ের জন্য কম্বিনেটরি লজিক, ল্যাম্বদা ক্যালকুলাস, ফাংশনাল প্রোগ্রামিংয়ের মতো বিভিন্ন বিষয়ে আগ্রহী এবং সেগুলি অধ্যয়ন করছি। তবে, "থিওরি অফ কম্পিউটিশন" এর বিপরীতে যা "গণনাযোগ্যতা" প্রশ্নের উত্তর দেওয়ার চেষ্টা করে অর্থাত্‍ যে বিষয়গুলি বিভিন্ন বাধার সাথে তুলনা করা যায় / করা যায় না, আমি "থিওরি অফ প্রোগ্রামিং" এর এনালগটি …

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

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

9 pl.programming-languages  type-theory  algebra 

ল্যাম্বডা ক্যালকুলাসের মতো এমন কোনও ব্যবস্থা আছে যা এর উপরে কোনও টাইপ সিস্টেম যুক্ত করার প্রয়োজন ছাড়াই শক্তিশালী নরমালাইজিং হয়?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

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

9 pl.programming-languages  program-analysis 

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

9 pl.programming-languages  algebra  monoid 

আমি মার্টিন-ল্যাফ টাইপ তত্ত্ব, অর্থাৎ কোক / আগদাতে আনুষ্ঠানিকভাবে যাচাই করা সংকলকগুলিতে আগ্রহী। এই মুহুর্তে আমি একটি ছোট খেলনার উদাহরণ লিখেছি। এর মাধ্যমে আমি প্রমাণ করতে পারি যে আমার অনুকূলিতকরণগুলি সঠিক। উদাহরণস্বরূপ যে শূন্যের সাথে সংযোজনগুলি মুছে ফেলা যায়, অর্থাত "x + 0" এর মত প্রকাশ। নিয়মিত সংকলক দিয়ে সম্পাদন …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

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

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

আপনার যদি দুটি পৃথক বাছাই করা অ্যালগরিদম বাস্তবায়ন করে থাকে তবে সোর্স কোড দ্বারা এটি নির্ধারণ করা কি তাদের উভয়েরই বহিরাগত বৈশিষ্ট্য একই? এর অর্থ এই যে তাদের উভয়েরই একটি ইনপুট হিসাবে একটি সম্ভাব্য ক্রমবিহীন ক্রম হবে এবং তাদের আউটপুট হিসাবে বাছাই করা ক্রম থাকবে? কীভাবে এই বাহ্যিক বৈশিষ্ট্যগুলি উত্স …

9 pl.programming-languages  decidability  formal-methods  extensionality 

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

9 pl.programming-languages  functional-programming  compilers  type-systems 

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

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented 

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

9 pl.programming-languages  type-theory  type-inference  type-systems 

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

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

বন্ধ থাকে। এই প্রশ্নটি অফ-টপিক । এটি বর্তমানে উত্তর গ্রহণ করছে না। এই প্রশ্নটি উন্নত করতে চান? প্রশ্নটি আপডেট করুন যাতে এটি তাত্ত্বিক কম্পিউটার সায়েন্স স্ট্যাক এক্সচেঞ্জের বিষয়বস্তু । 3 বছর আগে বন্ধ । একটি সর্বজনীন পুনরাবৃত্তি ফাংশন একটি সংক্ষিপ্ত সুস্পষ্ট নির্মাণ আছে ? আমি যে সমস্ত সংজ্ঞাটি দেখেছি তাতে …

9 lo.logic  computability  pl.programming-languages