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

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

19 lambda-calculus  functional-programming 

আমাদের প্রফেসর আমাদের ওসিএএমএলে এমন কোনও ফাংশন সম্পর্কে চিন্তা করতে বলেছিলেন যা টাইপটি রয়েছে 'a -> 'b অর্থাত্ একটি যুক্তি একটি ফাংশন যা কিছু হতে পারে, এবং এটি ভিন্ন কিছু ফিরে আসতে পারে। আমি raiseএমন কোনও ফাংশন ব্যবহার করার কথা ভেবেছিলাম যা এর যুক্তি উপেক্ষা করে: let f x = …

19 programming-languages  typing  functional-programming 

এই নিবন্ধ অনুসারে লিস্প কোডের নিম্নলিখিত লাইনটি স্ট্যান্ডার্ড আউটপুটে "হ্যালো ওয়ার্ল্ড" মুদ্রণ করে। (format t "hello, world") লিস্প, যা একটি সমজাতীয় ভাষা , কোডটিকে ডেটা হিসাবে এইভাবে আচরণ করতে পারে: এখন ভাবুন যে আমরা নিম্নলিখিত ম্যাক্রোটি লিখেছি: (defmacro backwards (expr) (reverse expr)) পিছনে ম্যাক্রোর নাম, যা একটি অভিব্যক্তি নেয় (তালিকা …

16 programming-languages  functional-programming 

আমি সম্প্রতি (কার্যকরী) প্রোগ্রামিং ভাষার দিকগুলি বোঝার এবং প্রমাণ করার জন্য অত্যন্ত আগ্রহী হয়ে উঠছি। তবে আমি যত গভীরে ডুব দিয়েছি, ক্যালকুলাস, বিভাগের তত্ত্ব এবং ডোনোটেশনাল শব্দার্থবিজ্ঞানের মতো জিনিসগুলি যথাযথ ব্যাখ্যা ছাড়াই কোঁকড়ানো কিছুটা কঠিন।λλ\lambda আমি এসআইসিপি (বেশ একটি আলোকিত বই) পড়েছি তবে আমি কার্যকরী প্রোগ্রামিং তত্ত্বের আরও গভীর দিকে …

16 reference-request  lambda-calculus  functional-programming  books 

ফিলিপ ওয়াডলারের নিখরচায় থিওরিয়াম সম্পর্কিত গবেষণাপত্রে তিনি প্যারামিমেট্রিটির বিষয়ে বিভাগ 2 তে বলেছেন পলিমারফিক ল্যাম্বদা ক্যালকুলাসের কোনও নিষ্পাপ সেট-তাত্ত্বিক মডেল নেই নিষ্পাপ সেট-তাত্ত্বিক মডেল ধরণের সেটগুলি এবং ফাংশনগুলি সেট-থিওরেটিক ফাংশন যা যুক্তিসঙ্গত বলে মনে হয়। তাহলে কেন তিনি বলছেন যে পলিমারফিক ল্যাম্বডা ক্যালকুলাসের কোনও নিষ্পাপ সেট-তাত্ত্বিক মডেল নেই?

15 functional-programming 

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

14 computer-architecture  functional-programming 

কেউ কি কার্যক্ষম শৈলীতে কোড লেখার সুবিধা বা অসুবিধাগুলি অধ্যয়নরত পিয়ার-রিভিউড পেপারগুলিতে আমাকে উল্লেখ করতে পারেন? মেশিন লার্নিং, ল্যাঙ্গুয়েজ ডিজাইন ইত্যাদির মতো ক্ষেত্রগুলিতে ল্যাম্বদা ক্যালকুলাসের প্রয়োগগুলি নিয়ে আলোচনা করা কাগজপত্র রয়েছে কি?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

ফাংশনাল প্রোগ্রামিংয়ের ব্যাকআপ তত্ত্ব হিসাবে খুব মার্জিত লাম্বডা ক্যালকুলাস এবং এর রূপগুলি রয়েছে। ওওপি-র জন্য কি এমন জিনিস আছে? অবজেক্ট ওরিয়েন্টেড মডেলটির বিমূর্ততা কী?

13 terminology  lambda-calculus  functional-programming  object-oriented 

আমি cstheory.SE তে একটি অনুরূপ প্রশ্ন জিজ্ঞাসা করেছি । স্ট্যাকওভারফ্লোতে এই উত্তর অনুসারে একটি অ্যালগরিদম রয়েছে যে অলস বিশুদ্ধ ফাংশনাল প্রোগ্রামিং ভাষার একটি জটিলতা রয়েছে, অন্যদিকে আবশ্যক প্রোগ্রামিংয়ে একই অ্যালগরিদম Ω ( n ) । এফপি ভাষায় অলসতা যুক্ত করা আলগোরিদিমকে Ω ( n ) তৈরি করে ।Ω(nlogn)Ω(nlog⁡n)\Omega(n \log n)Ω(n)Ω(n)\Omega(n)Ω(n)Ω(n)\Omega(n) …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

মরিচের মতো সাম্প্রতিক রানটাইমগুলির জন্য আরও ভাল পারফরম্যান্স তৈরি করতে সিপিইউতে এমন কিছু পরিবর্তন আনা যেতে পারে কি? উদাহরণস্বরূপ, শাখার পূর্বাভাস বাস্তবায়ন বা ক্যাশে আকারগুলিতে পরিবর্তনগুলি রয়েছে যা সমবর্তী রানটাইমগুলিতে সহায়তা করবে? আমার ধারণা আছে যে বর্তমান সিপিইউ ডিজাইনগুলি সি'র মতো পদ্ধতিগত রানটাইমগুলির জন্য আরও অনুকূলিত হতে পারে যদি আমরা …

13 computer-architecture  concurrency  functional-programming 

হাস্কেল উইকিতে আইও মোনাডের শর্তসাপেক্ষ ব্যবহারের নিম্নলিখিত উদাহরণ রয়েছে (এখানে দেখুন) । when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) লক্ষ্য করুন এই উদাহরণে, সংজ্ঞা IO aনেওয়া হয় হতে RealWorld -> (a, RealWorld)সবকিছু আরো বোধগম্য করা। …

12 programming-languages  functional-programming  haskell 

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

12 terminology  compilers  functional-programming 

মনে করুন যে কোনও ব্যক্তি কোডের বৈশিষ্ট্যগুলি যেমন সামগ্রিকতা এবং কার্যকরী বিশুদ্ধতার বাইরে যুক্তি করতে চান - কেউ মেমরির খরচ বা কোনও ফাংশনের অ্যালগরিদমিক জটিলতা সম্পর্কেও চিন্তা করে। নির্ভরশীল টাইপিং এবং এফেক্টস সিস্টেমের মাধ্যমে এটি করা যায়?

11 type-theory  functional-programming  dependent-types  inductive-datatypes 

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

11 data-structures  functional-programming  persistent-data-structure 

এফ # লার্নিংয়ের একটি মন্তব্যে : অন্যান্য প্রোগ্রামিং ভাষা ব্যবহার করে কোন বইগুলি কার্যকরী ধারণাগুলি শিখতে F # তে অনুবাদ করা যেতে পারে? মাকেরিয়াস বলেছেন: নোট করুন যে "সিপিএস" পদ্ধতিটি এসএমএল / এনজেতে পারফরম্যান্সের দুর্দান্ত ক্ষতি করেছে। এর শারীরিক মূল্যায়ন মডেলটি হার্ডওয়ারের মধ্যে নির্মিত অনেকগুলি অনুমানকে লঙ্ঘন করে। আপনি যদি …

11 compilers  functional-programming  proof-assistants  continuations