প্রশ্ন ট্যাগ «lambda-calculus»

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

18 lambda-calculus  programming-paradigms 

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

16 reference-request  lambda-calculus  functional-programming  books 

ল্যাম্বদা ক্যালকুলাসে অজানা ফাংশনগুলির জন্য কার্যকরী সমীকরণগুলি সমাধান করার কোনও কৌশল আছে? ধরুন আমার পরিচয় ফাংশনটি এরূপ এক্সটেনশিয়ালি সংজ্ঞায়িত হয়েছে: Ix=xIx=xI x = x (এটি that ফাংশনের প্রত্যাশিত আচরণের জন্য একটি সমীকরণ লিখে) এবং এখন আমি এটির সমাধান করতে চাই want কিছু বীজগণিতীয় রূপান্তর করছেন যে ফাংশন জন্য intensional সূত্র …

14 lambda-calculus 

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

14 lambda-calculus  type-theory  typing  type-inference 

কেউ কি কার্যক্ষম শৈলীতে কোড লেখার সুবিধা বা অসুবিধাগুলি অধ্যয়নরত পিয়ার-রিভিউড পেপারগুলিতে আমাকে উল্লেখ করতে পারেন? মেশিন লার্নিং, ল্যাঙ্গুয়েজ ডিজাইন ইত্যাদির মতো ক্ষেত্রগুলিতে ল্যাম্বদা ক্যালকুলাসের প্রয়োগগুলি নিয়ে আলোচনা করা কাগজপত্র রয়েছে কি?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

প্রযোজ্য ক্রম: ফাংশনটি নিজে মূল্যায়নের আগে কোনও ক্রিয়াকর্মের যুক্তিগুলি সর্বদা সম্পূর্ণ মূল্যায়ন করুন, যেমন - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 \ \rightarrow \ 9 সাধারণ ক্রম: এক্সপ্রেশনটি …

14 logic  lambda-calculus  normal-forms 

লাম্বদা ক্যালকুলাসের বেশিরভাগ টিউটোরিয়াল উদাহরণ দেয় যেখানে পজিটিভ ইন্টিজার এবং বুলিয়ান ফাংশন দ্বারা প্রতিনিধিত্ব করা যায়। -1 এবং আমি কী করব?

14 data-structures  lambda-calculus  integers  real-numbers 

আমি মনে করি আমি ক্যালকুলাস যাকে বলে এবং প্রোগ্রামিং ল্যাঙ্গুয়েজ কী বলা হয় সে সম্পর্কে আমি বেশ বিভ্রান্ত। আমার মনে হয়, এবং বলা যেতে পারে যে, ক্যালকুলাস হল প্রোগ্রামগুলির সমতুল্যতা সম্পর্কে যুক্তির জন্য একটি আনুষ্ঠানিক ব্যবস্থা। প্রোগ্রামগুলিতে একটি মেশিন দ্বারা নির্দিষ্ট একটি অপারেশনাল শব্দার্থবিজ্ঞান থাকে, যা (আমার মনে হয়?) নিরোধক …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

একটি কম্বিনেটর এক্সপ্রেশন (এসকে ভিত্তিতে বলা যাক) এমন একটি ফাংশন হিসাবে ভাবা যেতে পারে যা সংযোজক ক্যালকুলাস এক্সপ্রেশনকে সংযুক্তকারী ক্যালকুলাস এক্সপ্রেশনকে মানচিত্র করে। অর্থাৎ এক একটি অভিব্যক্তি মনে করতে পারেন একটি ফাংশন হিসাবে এক্স : এল → এল , যেখানে এল এস কে ভিত্তি সমস্ত চিহ্নগুলি সিন্টেক্সের বৈধ combinator অভিব্যক্তির …

13 lambda-calculus  combinatory-logic 

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

13 lambda-calculus 

ফাংশনাল প্রোগ্রামিংয়ের ব্যাকআপ তত্ত্ব হিসাবে খুব মার্জিত লাম্বডা ক্যালকুলাস এবং এর রূপগুলি রয়েছে। ওওপি-র জন্য কি এমন জিনিস আছে? অবজেক্ট ওরিয়েন্টেড মডেলটির বিমূর্ততা কী?

13 terminology  lambda-calculus  functional-programming  object-oriented 

আমি cstheory.SE তে একটি অনুরূপ প্রশ্ন জিজ্ঞাসা করেছি । স্ট্যাকওভারফ্লোতে এই উত্তর অনুসারে একটি অ্যালগরিদম রয়েছে যে অলস বিশুদ্ধ ফাংশনাল প্রোগ্রামিং ভাষার একটি জটিলতা রয়েছে, অন্যদিকে আবশ্যক প্রোগ্রামিংয়ে একই অ্যালগরিদম Ω ( n ) । এফপি ভাষায় অলসতা যুক্ত করা আলগোরিদিমকে Ω ( n ) তৈরি করে ।Ω(nlogn)Ω(nlog⁡n)\Omega(n \log n)Ω(n)Ω(n)\Omega(n)Ω(n)Ω(n)\Omega(n) …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

প্রথমত, আমি বলতে চাই যে নীচে আমার পাঠ্যটিতে ত্রুটি থাকতে পারে, সুতরাং আমার প্রশ্ন গঠনের কোনও ত্রুটি নির্দ্বিধায় নির্দ্বিধায় মনে করুন। বুলিয়ান এবং যদি-বিবৃতিগুলির শর্তাদি এই বাক্য গঠন দ্বারা দেওয়া হয় তবে একটি টাইপযুক্ত ল্যাম্বদা ক্যালকুলাস বিবেচনা করুন: t ::= v | t t | if t t t | …

12 programming-languages  lambda-calculus 

আমি প্রসঙ্গে সংবেদনশীল ব্যাকরণ বুঝতে চেষ্টা করছি। আমি বুঝতে পারি কেন ভাষা পছন্দ করে { w w ∣ w ∈ এ*}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} প্রসঙ্গ নিখরচায় নয়, তবে আমি কী জানতে চাইছি যদি টাইপযুক্ত ল্যাম্বডা ক্যালকুলাসের অনুরূপ কোনও ভাষা প্রসঙ্গে সংবেদনশীল। আমি একটি সাধারণ, …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

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

11 terminology  lambda-calculus  type-theory  dependent-types