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

আমার টাইপ এ এর ​​উপাদানগুলির সেট সংরক্ষণ করতে হবে। টাইপ a আংশিক অর্ডার করা হয়েছে, সুতরাং এবং তুলনা করে আরও ছোট, বৃহত্তর, সমান বা অতুলনীয় ফিরে আসতে পারে।একটি1একটি1a_1একটি2একটি2a_2 হ্যাশ টেবিলগুলির সাথে একটি সমস্যা হ'ল দুটি সমান উপাদান আলাদাভাবে উপস্থাপিত হতে পারে এবং আমার সাম্যতার সাথে সামঞ্জস্য রেখে হ্যাশিং ফাংশনে অ্যাক্সেস …

15 ds.data-structures  functional-programming  sorting 

আমি লায়াহে একটি অধ্যায় পড়ছিলাম যা আমার কাছে সত্যিকার অর্থে আসে না। আমি বুঝতে পারি যে জিপার্সগুলি গাছের মতো কাঠামোকে নির্বিচারে ট্র্যাভার করতে পারে তবে এ সম্পর্কে আমার কিছু ব্যাখ্যা দরকার। এছাড়াও, জিপারগুলি কোনও ডেটা স্ট্রাকচারে সাধারণীকরণ করা যায়?

15 ds.data-structures  functional-programming  tree 

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

14 functional-programming  haskell 

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

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

আমি নিখুঁত কার্যকরী উপায়ে একটি ডিবিএমএস লেখার ধারণাটি অন্বেষণ করছি। সূচকের জন্য ব্যবহৃত traditionalতিহ্যবাহী ডেটা স্ট্রাকচার হ'ল বি-ট্রি। আমি বি-ট্রি এর কিছু খাঁটি কার্যকরী সমতুল্য জানতে চাই যা ডিস্ক অ্যাক্সেস হ্রাস করতে অনুকূলিত হবে। ধন্যবাদ।

14 ds.data-structures  functional-programming  db.databases 

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

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

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

14 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

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

13 reference-request  functional-programming  ct.category-theory  parsing 

ধারাবাহিকতা পাসিং ট্রান্সফর্ম (সিপিএস ট্রান্সফর্ম) স্মরণ করুন যা থেকে (যেখানে নির্দিষ্ট করা আছে) এবং থেকে defined দ্বারা সংজ্ঞায়িত বস্তুত আমরা আছে ধারাবাহিকতা একসংখ্যা ইউনিট সঙ্গে দ্বারা সংজ্ঞায়িত এবং গুণ defined by দ্বারা সংজ্ঞায়িত β একটি : = আর আর একটি আর চ : একজন → বি β চ : β …

13 functional-programming  monad  continuations  cps-transforms 

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

12 type-theory  functional-programming  constructive-mathematics 

অনুসরণ করে একটি মোনাডের একটি উদাহরণ যা বিকল্প কিন্তু একটি মোনাডপ্লাস নয়? : ধরুন একটি monad। সম্পর্ক betweem কি কি একটি হচ্ছে বিকল্প , একটি MonadPlusCatch এবং MonadPlusDistr ? মিমিmmমিmmসম্ভাব্য ছয়টি জোড়ার প্রত্যেকটির জন্য আমার কাছে এমন একটি প্রমাণ থাকতে হবে যা একজনের দ্বারা অন্যকে বোঝায়, বা একটি পাল্টা উদাহরণ …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

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

12 functional-programming  ds.data-structures 

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

11 functional-programming  semantics 

একটি কার্যকরী প্রোগ্রামিং ভাষা কল্পনা করুন যার কেবলমাত্র ডেটা টাইপগুলি সংখ্যাগত স্কেলার এবং অ্যারেগুলির নির্বিচারে বাসা বাঁধে। ভাষাটিতে সীমাহীন পুনরাবৃত্তির কোনও মাধ্যম নেই, সুতরাং নিম্নলিখিতটি মঞ্জুরিপ্রাপ্ত নয়: সুস্পষ্ট লুপস (কোনওভাবে পার্শ্ব-প্রতিক্রিয়া ছাড়াই বেশি ব্যবহার হয় না) পুনরাবৃত্তির স্বেচ্ছাসেবী প্রথম শ্রেণির ফাংশন (কোনও y- সংযোজক নেই) ভাষাটিতে অবশ্য রয়েছে: শীর্ষ স্তরের …

11 complexity-classes  functional-programming  dc.parallel-comp 

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

10 lambda-calculus  functional-programming  interaction-nets