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

আমি বর্তমানে ল্যাম্বদা ক্যালকুলাস শিখছি এবং ল্যাম্বডা শব্দটি লিখতে নিম্নলিখিত দুটি ভিন্ন ধরণের সম্পর্কে ভাবছিলাম। λxy.xyλxy.xy\lambda xy.xy λx.λy.xyλx.λy.xy\lambda x.\lambda y.xy আপনি কীভাবে বিটা হ্রাস প্রয়োগ করেছেন তার অর্থ বা উপায়ের মধ্যে কোনও পার্থক্য রয়েছে, বা একই জিনিস প্রকাশ করার কেবল দুটি উপায়? বিশেষত জুটি তৈরির এই সংজ্ঞা আমাকে বিস্মিত করেছে: …

11 logic  lambda-calculus 

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

11 lambda-calculus  type-theory  calculus-of-constructions 

এটি আমার নজরে আনা হয়েছিল যে ওসিএএমএল এর মতো কার্যকরী ভাষায় টাইপ অনুক্রমের ব্যয় খুব বেশি হতে পারে। দাবিটি হ'ল এখানে মত প্রকাশের ক্রম রয়েছে যে প্রতিটি অভিব্যক্তির জন্য সংশ্লিষ্ট প্রকারের দৈর্ঘ্য প্রকাশের দৈর্ঘ্যের উপর সূচকীয়। আমি নীচের ক্রমটি তৈরি করেছি। আমার প্রশ্নটি: আপনি কি আরও সংক্ষিপ্ত অভিব্যক্তিগুলির সাথে একটি …

11 lambda-calculus  type-theory  functional-programming  type-inference  type-checking 

বিশেষত, যদি আমি একটি নতুন K2K2K_2 কে K2=λx.(λy.y)K2=λx.(λy.y)K_2 = \lambda x. (\lambda y. y) হিসাবে সংজ্ঞায়িত করি । ( λ y । y ) K=λx.(λy.x)K=λx.(λy.x)K = \lambda x. (\lambda y. x) পরিবর্তে । ( Λ Y । এক্স ) হবে {S,K2,I}{S,K2,I}\{S, K_2,I\} -calculus একটি প্রতিদ্বন্দ্বিতা ভিত্তিতে হবে? আমার অনুমান "না," …

10 lambda-calculus  combinatory-logic 

যাক →β→β\to_\beta হতে ββ\beta -reduction মধ্যে λλ\lambda -calculus। নির্ধারণ ββ\beta -expansion ←β←β\leftarrow_\beta দ্বারা টি'←βটি⟺টি →βটি't′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' । Is ←β←β\leftarrow_\beta একত্র প্রবহমান? অন্য কথায়, আমরা যে আছে কোন l , d, আরl,d,rl,d,r , যদি ঠ →*βঘ←*βRl→β∗d←β∗rl \to_\beta^* d\leftarrow_\beta^* r , তারপর অস্তিত্ব আছে তোমার দর্শন লগ করাuu যেমন …

10 lambda-calculus  term-rewriting 

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

10 lambda-calculus 

আমি আজ শিখেছি যে গণনা মডেলের ভিত্তিতে অ্যালগরিদম বিশ্লেষণ আলাদা হয়। এটি এমন কিছু যা আমি কখনও ভাবিনি বা শুনিনি। আমাকে দেওয়া একটি উদাহরণ, যা এটি আরও চিত্রিত করেছে, ব্যবহারকারী @ চেইটি হলেন: যেমন টাস্কটি বিবেচনা করুন: প্রদত্ত ( i , x)1, … , এক্সএন)(আমি,এক্স1,...,এক্সএন)(i,x_1 ,…,x_n ) রিটার্ন । র‍্যামে …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

সেলফ টাইপস কনস্ট্রাকশনস ক্যালকুলাসের একটি বর্ধিতাংশ [1] যা স্কট এনকোডিংয়ের মাধ্যমে এনকোড করা বীজগণিত ডেটাটাইপগুলি ভাষায় প্রকাশ করার অনুমতি দেয়। স্কট এনকোডিং একটিতে প্যাটার্ন-মিলের দক্ষতা সরবরাহ করে O(1), যা সিসির অন্তর্নিহিত সংজ্ঞা অন্তর্ভুক্তির অন্যতম প্রধান প্রেরণা। তবুও, স্ব প্রকারগুলি অনেক সহজ এবং মার্জিত বেস তত্ত্বের জন্য তৈরি হয় এবং আপাতদৃষ্টিতে …

10 lambda-calculus  type-theory  functional-programming  inductive-datatypes 

পিটার সেলিনারের মতে , ল্যাম্বডা ক্যালকুলাস হল বীজগণিত (পিডিএফ)। এই নিবন্ধের প্রথম দিকে তিনি বলেছেন: কারণ এটি সন্তুষ্ট না ল্যামডা ক্যালকুলাস সমন্নয়ের ব্যাখ্যা, অপূর্ণ হিসেবে পরিচিত -rule: ব্যাখ্যা অধীনে, পরোক্ষভাবে না (Barendregt, 1984)।ξξξM=NM=NM = Nλx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N প্রশ্নাবলী: এখানে কোন ধরণের সমতা বোঝানো হয়েছে? সমতা এই সংজ্ঞা দেওয়া, …

10 terminology  lambda-calculus  combinatory-logic 

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

10 lambda-calculus  type-theory  type-inference 

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

10 programming-languages  lambda-calculus 

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

10 logic  programming-languages  lambda-calculus  functional-programming 

আমি বুঝতে পারি যে একটি গির্জার সংখ্যা দেখতে (... এন বার ...) । এই উপায়ে চেয়ে "ফাংশন আর কিছুই ফলিত এন ফাংশন বার z- র "। λ এস । λ z- র । s scncnc_nλs.λz.sλs.λz.s\lambda s. \lambda z. sএসszszs\;zsssজেডnnnzzz timestimes\mathtt{times} ফাংশনের একটি সম্ভাব্য সংজ্ঞা নিম্নলিখিত: times=λm.λn.λs.m(ns)times=λm.λn.λs.m(ns)\mathtt{times} = \lambda m. \lambda …

10 lambda-calculus  church-numerals 

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

9 lambda-calculus  functional-programming 

আমি টাইপ থিওরিতে ইউনিভার্সে এই সুপরিচিত কাগজটি পড়ছি । প্রথমে আমি Setωআগদার মতোই কিছু প্রত্যাশা করেছিলাম তবে দেখা গেছে যে এটি আরও সাধারণ কিছু। এটি মনে হয় মহাবিশ্বের নির্মাণকে একটি সরল ইন্ডাকটিভ-রিকার্সিভ টাইপ থেকে বাইন্ডারের কাছে অনুরূপ (অনুরূপ)ΠΠ\Pi এবং ΣΣ\Sigma)। আমি যে প্রধান প্রশ্নটি জিজ্ঞাসা করতে চাই তা হ'ল এর …

9 lambda-calculus  type-theory