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

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

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing 

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

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

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

10 reference-request  proof-techniques  functional-programming  books  software-verification 

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

10 terminology  reference-request  functional-programming  programming-paradigms 

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

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

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

10 logic  programming-languages  lambda-calculus  functional-programming 

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

9 lambda-calculus  functional-programming 

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

9 type-theory  functional-programming  dependent-types 

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

9 lambda-calculus  functional-programming  combinatory-logic 

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

9 data-structures  functional-programming