প্রশ্ন ট্যাগ «functional-programming»

ক্রিস ওকাসাকির ১৯৯৯ বই "পিউরিলি ফাংশনাল ডেটা স্ট্রাকচার" এর পর থেকে আমি খুব বেশি নতুন উত্তেজনাপূর্ণ বিশুদ্ধভাবে কার্যকরী ডেটা স্ট্রাকচার দেখিনি; আমি মাত্র কয়েকটি নাম দিতে পারি: ইনটম্যাপ (1998 সালে ওকাসাকির দ্বারা উদ্ভাবিত, কিন্তু সেই বইটিতে উপস্থিত নেই) আঙুল গাছ (এবং মনোয়েডগুলির উপর তাদের সাধারণীকরণ) গাছের আক্রমণকারীদের নিশ্চিত করতে "নেস্টেড …

563 reference-request  big-list  ds.data-structures  functional-programming 

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

51 big-list  ds.data-structures  functional-programming 

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

40 lo.logic  type-theory  functional-programming  ct.category-theory 

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

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

এমন কোন (কার্যকরী?) প্রোগ্রামিং ভাষা রয়েছে যেখানে সমস্ত ফাংশনগুলির একটি প্রচলিত ফর্ম রয়েছে? এটি হ'ল যে কোনও দুটি ফাংশন যা সমস্ত সেট ইনপুটগুলির জন্য একই মানগুলি প্রত্যাবর্তন করে একই উপায়ে উপস্থাপন করা হয়, যেমন f (x) x + 1 এবং g (x) x + 2 ফিরে আসে তবে f (f …

29 computability  pl.programming-languages  functional-programming  function 

আমি বর্তমানে হিন্ডলি এবং সেলডিনের " ল্যাম্বডা-ক্যালকুলাস এবং সংযুক্তকারী " পড়ছি । আমি কোনও বিশেষজ্ঞ নই, তবে কার্যকরী প্রোগ্রামিংয়ের সাথে জড়িত থাকার কারণে (লিস্প এবং এসআইসিপি দিয়ে শুরু করা, এবং এখন আর এবং হাস্কেলের সাথে) ল্যাম্বডা ক্যালকুলাসের প্রতি সর্বদা আগ্রহী হয়েছি। "এ বাইনারি ল্যামডা ক্যালকুলাস এবং সমন্নয়ের লজিক" , জন …

26 combinatory-logic  functional-programming  lambda-calculus 

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

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

আমি একটি সাধারণ স্ট্যাটিকালি টাইপড ফাংশনাল প্রোগ্রামিং ভাষা শেখার অভিজ্ঞতা হিসাবে ডিজাইন করছি। দেখা যাচ্ছে যে আমি এখন পর্যন্ত যে ধরণের সিস্টেমটি প্রয়োগ করেছি (সামান্য অতিরিক্ত কাজ করে) ছেদ এবং ইউনিয়নের ধরণগুলি অন্তর্ভুক্ত করতে পারে, যেমন আপনার থাকতে পারে: <Union String Integer> <Union Integer Foo> উপরের দুটি ধরণের ছেদটি একটি …

22 type-theory  functional-programming  type-inference  language-design 

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

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

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

19 computability  pl.programming-languages  functional-programming 

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

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

আমি সাইমন পাইটন জোন্স এর কার্যকরী প্রোগ্রামিং ভাষার প্রয়োগ বাস্তবায়িত করছি এবং এর একটি বিবৃতি আমাকে সামান্য বিস্মিত করেছে (পৃষ্ঠা 39): অপরিহার্য ভাষাগুলির তুলনায় অনেক বড় পরিসরে, কার্যকরী ভাষাগুলি অপেক্ষাকৃত কয়েকটি শব্দার্থক পার্থক্য সহ বেশিরভাগ ক্ষেত্রে একে অপরের সিন্থেটিক ভিন্নতা। এখন, এটি 1987 সালে লেখা হয়েছিল এবং এই বিষয়ে আমার …

17 functional-programming  semantics  imperative-programming 

কে সিসিসি করা যাক । আসুন তে একটি পণ্য দ্বিখণ্ডক হয়ে উঠুন । বিড়ালটি সিসিসি হিসাবে , আমরা তরকারী করতে পারি :( × ) সি ( × )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 

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

16 ds.data-structures  functional-programming 

খাঁটি বিমূর্ত গণিত / গণনামূলক যুক্তির দৃষ্টিকোণ থেকে, (3) কীভাবে কেউ 3-স্যাট, সাবসেট সম, ট্র্যাভেলিং সেলসম্যান ইত্যাদি সমস্যাগুলি আবিষ্কার করতে বা যুক্ত করতে পারে? আমরা কি কেবল কার্যকরী দৃষ্টিকোণ দিয়ে তাদেরকে অর্থবহ উপায়ে যুক্ত করতে সক্ষম হব ? এটা কি সম্ভব হবে? আমি গণনার ল্যাম্বদা ক্যালকুলাস মডেল শিখার অংশ হিসাবে …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np