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

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

17 reference-request  pl.programming-languages  semantics  formal-systems 

কে সিসিসি করা যাক । আসুন তে একটি পণ্য দ্বিখণ্ডক হয়ে উঠুন । বিড়ালটি সিসিসি হিসাবে , আমরা তরকারী করতে পারি :( × ) সি ( × )CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B ফ্যান্টেক্টর বিভাগ সাধারণ কাঠামো থাকে। C⇒CC⇒CC …

17 functional-programming  pl.programming-languages  ct.category-theory 

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

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

এটি সুপরিচিত যে সিস্টেম এফ-এ আপনি বাইনারি পণ্যগুলিকে টাইপ দিয়ে এনকোড করতে পারেন আপনি তারপরে প্রজেকশন ফাংশনগুলি সংজ্ঞায়িত করতে পারেন \ pi_1: A \ গুণ B \ থেকে A এবং \ pi_2: A \ বার বি \ থেকে বি ।π 1 : এ × বি → এ π 2 : …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

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

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

আমরা প্রায়শই কিছু অনুমানের নিয়ম অনুসারে একটি বস্তু সংজ্ঞায়িত করতে চাই । এই নিয়মগুলি একটি উত্পন্ন ফাংশন F বোঝায় যা এটি যখন একঘেয়ে হয় তখন কমপক্ষে একটি নির্দিষ্ট পয়েন্ট μ এফ দেয় । আমরা নিতে একটি : = μ এফ এর "প্রস্তাবনামূলক সংজ্ঞা" বলে একজন । তদুপরি, এফের একঘেয়েমি আমাদের …

16 lo.logic  pl.programming-languages  type-theory  proof-assistants  coq 

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

16 pl.programming-languages  semantics 

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

15 pl.programming-languages  ai.artificial-intel  recursion 

সংকলক যাচাইকরণের প্রচেষ্টা প্রায়শই কমপ্লায়ার সম্পূর্ণ বিমূর্ত প্রমাণ করার জন্য নেমে আসে: এটি (প্রাসঙ্গিক) সমতা রক্ষা করে এবং প্রতিফলিত করে। সম্পূর্ণ বিমূর্ততার প্রমাণ সরবরাহ করার পরিবর্তে, কিছুটা সাম্প্রতিক (শ্রেণীবদ্ধ ভিত্তিক) সংকলক যাচাইকরণের কাজ হাসেগাওয়া [ 1 , 2 ] এবং এগার এট দ্বারা। অল। [ 3 ] বিভিন্ন সিপিএস অনুবাদগুলির …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

আপনি যদি টাইপযুক্ত ল্যাম্বডা-ক্যালকুলাসে পুনরাবৃত্ত সংযোগকারীগুলি যেমন Y কম্বিনেটর বা ওমেগা : এটি স্পষ্ট যে এই সংযুক্তকারীগুলির সমস্তই তাদের সংজ্ঞায় কোথাও কোনও ভেরিয়েবলের সদৃশ হয়।ωওয়াই==( Λ এক্স ।এক্সএক্স )( Λ এক্স ।এক্সএক্স )λ চ।( Λ এক্স ।চ( এক্সx ) )( Λ এক্স ।চ( এক্সx ) )ω=(λএক্স।এক্সএক্স)(λএক্স।এক্সএক্স)ওয়াই=λচ।(λএক্স।চ(এক্সএক্স))(λএক্স।চ(এক্সএক্স)) \begin{array}{lcl} \omega & = …

15 lo.logic  pl.programming-languages  linear-logic 

এবং বি সেট দেয় , তাদের মধ্যে একটি বিচ্ছিন্ন সম্পর্ক ( ∼ ) ⊆ এ × বি নিম্নলিখিত সংস্থাকে সন্তুষ্ট করে এমন একটি সম্পর্ক হিসাবে সংজ্ঞায়িত করা হয়:একজনএকজনAবিবিB ( ∼ ) ⊆ এ × বি(~)⊆একজন×বি(\sim) \subseteq A \times B যদি এবং একটি ′ ∼ বি ′ এবং একটি ∼ বি …

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

বার্নার্ডি এবং মৌলিনের 2012 টি এলআইএসএস কাগজ ( https://dl.acm.org/citation.cfm?id=2359499 ) দেখার পরে আমি প্যারামিট্রিকটিতে খুব আগ্রহী হয়েছি । এই কাগজটিতে, তারা নির্ভরযোগ্য ধরণের সাথে একটি খাঁটি টাইপ সিস্টেমে অবিচ্ছিন্ন প্যারামিট্রিসিটি অভ্যন্তরীণ করে এবং কীভাবে আপনি নির্মাণকে স্বেচ্ছাচারিতায় আধ্যাত্মিকভাবে প্রসারিত করতে পারেন তার ইঙ্গিত দেয়। আমি কেবল বাইনারি প্যারামিট্রিকটি আগেই সংজ্ঞায়িত …

15 lo.logic  pl.programming-languages  type-systems  logical-relations  parametricity 

প্রোগ্রামিং ভাষার দৃষ্টিকোণে, সাব-টাইপিং বলতে কী বোঝায়? শুনেছি "উত্তরাধিকার সাবটিপিং নয়"। তাহলে উত্তরাধিকার এবং সাবটাইপিংয়ের মধ্যে পার্থক্য কী?

15 pl.programming-languages  type-theory  type-systems  object-oriented 

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

15 pl.programming-languages  semantics  equivalence 

অর্ডার রক্ষণাবেক্ষণ সমস্যা (বা "একটি তালিকায় অর্ডার বজায় রাখা") অপারেশনগুলিকে সমর্থন করে: singleton: একটি আইটেম সহ একটি তালিকা তৈরি করে, এতে একটি পয়েন্টার দেয় returns insertAfter: কোনও আইটেমকে পয়েন্টার দেওয়া হয়, এর পরে একটি নতুন আইটেম সন্নিবেশ করানো হয়, নতুন আইটেমে একটি পয়েন্টার ফিরিয়ে দেওয়া হয় delete: কোনও আইটেমকে পয়েন্টার …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity