প্রশ্ন ট্যাগ «haskell»

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

28 computability  turing-machines  haskell 

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

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

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

14 functional-programming  haskell 

থিম: ধরে নেওয়া যাক ETA-সমানতা আমরা যে আছে (\x -> ⊥) = ⊥ :: A -> B। প্রুফ: ⊥ = (\x -> ⊥ x)এটা-সমতা এবং (\x -> ⊥ x) = (\x -> ⊥)ল্যাম্বদার নীচে হ্রাস দ্বারা। হাস্কেল 2010 রিপোর্ট, বিভাগ 6.2 seqদুটি সমীকরণ দ্বারা ফাংশন নির্দিষ্ট করে : seq :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

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

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