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

সম্ভবত হাস্কেলের পারফরম্যান্স সমস্যার মূল উত্স হ'ল যখন কোনও প্রোগ্রাম অসাবধানতার সাথে সীমাহীন গভীরতার একটি অংশ তৈরি করে - মূল্যায়ন করার সময় এটি মেমরি ফাঁস এবং সম্ভাব্য স্ট্যাক উভয় প্রবাহকে কারণ করে। ক্লাসিক উদাহরণটি sum = foldr (+) 0হ্যাসকেলে সংজ্ঞায়িত করছে। অলস ভাষাটি ব্যবহার করে কোনও প্রোগ্রামে এমন কোনও থানকের …

10 type-theory  functional-programming  program-verification 

আমরা জানি যে সহজভাবে টাইপ করা ল্যাম্বদা-শর্তাদির বিটা সমতা স্থিরযোগ্য। এম, এন: σ → τ দেওয়া, এটি কি সমস্ত এক্স: σ, এমএক্স ?≃β≃β≃_β

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

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

10 ds.data-structures  functional-programming  tree  hash-function 

স্ট্র্যাটেগো একটি প্রোগ্রামিং রূপান্তর ভাষা / পুনর্লিখনের ডিএসএল L এন্থনি Sloane হয়েছে কিছু কাজ একটি করছেন বাস্তবায়ন যে Scala উপর সঞ্চালিত হয় । কার্যকরী ভাষা হিসাবে কৌশলগতের তাত্ত্বিক সীমাগুলি কী কী? (বাস্তবায়ন নির্বিশেষে) স্ট্র্যাটেগোতে কি একজন আবেদনকারী আদেশ ycombinator লিখতে পারেন?

10 functional-programming 

ল্যাম্বডা ক্যালকুলাসের মতো এমন কোনও ব্যবস্থা আছে যা এর উপরে কোনও টাইপ সিস্টেম যুক্ত করার প্রয়োজন ছাড়াই শক্তিশালী নরমালাইজিং হয়?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

ভ্রূণ, যদি আপনি এটি না শুনে থাকেন তবে এখানে পড়তে পারেন । এটি কোনও ফাংশনে পুনরাবৃত্ত কলগুলির সমস্ত 'পুনরাবৃত্তি আচরণ' সন্ধান করতে 'কল ম্যাট্রিকেস' এবং 'কল গ্রাফ' এর একটি সিস্টেম ব্যবহার করে। কোনও ফাংশন এটি বন্ধ করে দেয় তা দেখানোর জন্য এটি দেখায় যে কোনও ফাংশনে করা পুনরাবৃত্ত কলগুলির সমস্ত …

9 lo.logic  computability  functional-programming 

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

9 pl.programming-languages  functional-programming  compilers  type-systems