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

seasonফাংশন বীজগাণিতিক ফাংশন ব্যবহার করে কিন্তু আমি মনে করি কোডের মত পুনরাবৃত্তিমূলক হয়। আমি কীভাবে এটি সম্ভব হিসাবে সংক্ষিপ্ত করতে পারি? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons …

12 haskell  algebraic-data-types 

কেন GHCi নীচে ভুল উত্তর দেয়? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 আপডেট করুন আমি নীচে হাস্কেলের ('s) ফাংশনটি প্রয়োগ করব implement powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = powerXY (1/x) …

12 haskell  floating-point  ghc  ghci 

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

12 haskell  language-lawyer  lazy-evaluation  semantics  unit-type 

যেমন রাজ্য মনাদকে পণ্য (বাম - ফান্টেক্টর) এবং পাঠক (ডান - প্রতিনিধিত্বযোগ্য) হিসাবে চিহ্নিত করা যায়। কন্টিনিয়েনশন মোনাডকে ফ্যাক্ট্রি করার কোনও উপায় আছে? কোডের নীচে আমার চেষ্টা, যা চেক পছন্দ করে না -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances #-} type …

11 haskell  monads  continuations  category-theory  comonad 

আমি কিছু অংশ দিয়ে একটি অঙ্কন প্যাকেজ লিখছি, এবং আমার অপারেটর এবং ডেটা ধরণের ছড়িয়ে ছিটিয়ে আছে rou তবে আমি চাই না যে প্রতিবার ব্যবহারকারীরা সংশ্লিষ্ট মডিউলগুলি যুক্ত করুন, কারণ এটি যথেষ্ট অগোছালো হবে, উদাহরণস্বরূপ আমি এর মতো বিভিন্ন পথে একটি Pointক্লাস, Monoidভূমিকা এবং একটি Styleশ্রেণি চাই have unit module …

11 haskell  raku 

আমার একটি প্রকার রয়েছে Id aএবং আমি দুর্ঘটনাক্রমে জোর দেওয়া বন্ধ করতে চেষ্টা করছি, যেমন, একটি Id Doubleথেকে একটি Id Int। আমি যদি টাইপের ভূমিকাগুলি সঠিকভাবে বুঝতে পারি তবে নিম্নলিখিতগুলি সংকলন করা উচিত নয়। {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id …

11 haskell  roles  coerce 

আমি একটি এফ # ফাংশন তৈরি করার চেষ্টা করছি intযা স্বেচ্ছাসেবী নেস্টনেসগুলির তালিকার যোগফলকে ফিরিয়ে দেবে। অর্থাৎ। এটি a list<int>, a list<list<int>>এবং a এর জন্য কাজ করবে list<list<list<list<list<list<int>>>>>>। হাসকেলে আমি এমন কিছু লিখতাম: class HasSum a where getSum :: a -> Integer instance HasSum Integer where getSum = id instance …

10 haskell  f# 

আমি হাসকেলে অস্তিত্বের ধরণগুলি বোঝার চেষ্টা করছি এবং একটি পিডিএফ এসেছি http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf আমার এখন পর্যন্ত আমার নীচের উপলব্ধিগুলি সংশোধন করুন। অস্তিত্বের প্রকারগুলি তাদের যে ধরণের ধারণাগুলি রয়েছে তাতে আগ্রহী বলে মনে হয় না তবে তাদের সাথে মেলে প্যাটার্নটি বলে যে এমন কিছু প্রকার রয়েছে যা আমরা টাইপ বা ডেটা ব্যবহার …

10 haskell  gadt  existential-type 

পরিমাণযুক্ত বাধা দিয়ে আমি কি Eq (A f)ঠিক জরিমানা অর্জন করতে পারি ? যাইহোক, আমি যখন অর্ড (এফ) প্রাপ্ত করার চেষ্টা করি তখন এটি ব্যর্থ হয়। যখন সীমাবদ্ধ শ্রেণিতে একটি সুপারক্লাস থাকে তখন কী পরিমাণে সীমাবদ্ধতা ব্যবহার করতে হয় তা আমি বুঝতে পারি না। আমি কীভাবে উত্পন্ন করব Ord (A …

10 haskell  typeclass  derived-class  quantified-constraints 

আমি খুব অদ্ভুত আচরণ দেখছি যেখানে হাস্কেলের bracketফাংশন ব্যবহৃত হয়েছে stack runবা stack testব্যবহৃত হয়েছে তার উপর নির্ভর করে আলাদা আচরণ করছে ving নিম্নলিখিত কোডটি বিবেচনা করুন, যেখানে ডকার পাত্রে তৈরি করতে এবং পরিষ্কার করতে দুটি নেস্টেড বন্ধনী ব্যবহার করা হয়: module Main where import Control.Concurrent import Control.Exception import System.Process …

10 haskell  haskell-stack 

আমি সম্প্রতি এমন পরিস্থিতিতে দৌড়াচ্ছি যেখানে আমার কোনও প্রাক্কলিত ক্রিয়াকে অন্য ফাংশনে পাস করার দরকার পড়েছিল এবং প্রায়শই যে যুক্তিটি আমি সন্ধান করি তা মূলত "এই মানটি কি এই প্যাটার্নের সাথে মেলে?" ঘোষণাপত্র, doব্লক এবং তালিকা বোঝার ক্ষেত্রে প্যাটার্নের মিলটি পছন্দ হয় বলে মনে হয় , তবে এমন অনেকগুলি ফাংশন …

10 haskell 

কনটেন্টেশন সম্পর্কে একটি দুর্দান্ত সত্য ঘটনাটি হ'ল যদি আমি সমীকরণের কোনও দুটি ভেরিয়েবল জানি: a ++ b = c তখন আমি তৃতীয়টি জানি। আমি এই ধারণাটি আমার নিজস্ব উপসংগে ক্যাপচার করতে চাই তাই আমি কার্যকরী নির্ভরতা ব্যবহার করি। {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances #-} …

10 haskell  typeclass  functional-dependencies  type-level-computation 

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

10 haskell 

নীচে 3 টি ফাংশন দেওয়া আছে যা একটি তালিকার শেষ কিন্তু দ্বিতীয় উপাদানটি সন্ধান করে। যেটি ব্যবহার করছেন last . initসেটি অন্যদের চেয়ে অনেক দ্রুত বলে মনে হচ্ছে। আমি বুঝতে পারি না কেন। পরীক্ষার জন্য, আমি একটি ইনপুট তালিকা ব্যবহার করেছি [1..100000000](100 মিলিয়ন)। শেষটি প্রায় তাত্ক্ষণিকভাবে চালিত হয় অন্যদিকে কয়েক …

10 haskell 

আমি বর্তমানে এমন একটি ফাংশন নিয়ে কাজ করছি যা এভাবে চলে: foo = (\(a:b:c:d:e:f:_) -> foobar a b c d e f) . (++ repeat def) অন্য কথায়, একটি তালিকা দেওয়া হয়েছে, এটি কোনও কিছুর জন্য প্রথম ছয় উপাদান ব্যবহার করে এবং যদি তালিকাটি ছয়টি উপাদানের চেয়ে কম দীর্ঘ হয় …

10 haskell  pattern-matching