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

বন্ধ । এই প্রশ্নটি মতামত ভিত্তিক । এটি বর্তমানে উত্তর গ্রহণ করছে না। এই প্রশ্নটি উন্নত করতে চান? প্রশ্নটি আপডেট করুন যাতে পোস্টটি সম্পাদনা করে সত্য এবং উদ্ধৃতি দিয়ে উত্তর দেওয়া যায় । 2 বছর আগে বন্ধ । এই প্রশ্নটি উন্নত করুন আমি এই প্রশ্নটি খুব দীর্ঘকাল ধরে ভাবছিলাম, তবে …

89 compiler-construction  haskell  ocaml  functional-programming 

আমি কিছুক্ষণের জন্য F # তে ডিভ করে যাচ্ছি এবং আমি এটি পছন্দ করি। তবে আমি জানি যে একটি বাজওয়ার্ড F # তে বিদ্যমান নেই এটি হ'ল ধরণের ধরণের। আমি উচ্চ-ধরণের ধরণের উপাদানগুলি পড়েছি এবং আমি মনে করি যে আমি তাদের সংজ্ঞাটি বুঝি। কেন তারা দরকারী তা আমি নিশ্চিত নই। …

89 scala  haskell  types  f#  higher-kinded-types 

আমি ডকুমেন্টেশন দ্বারা কিছুটা বিভ্রান্ত হয়ে fixপড়েছিলাম (যদিও আমি মনে করি এটি এখন কী করা উচিত তা আমি বুঝতে পেরেছি), তাই আমি উত্স কোডটির দিকে তাকালাম। এটি আমাকে আরও বিভ্রান্ত করেছে: fix :: (a -> a) -> a fix f = let x = f x in x এই ঠিক …

88 haskell  fixpoint-combinators  letrec 

হাস্কেল কোডের এই টুকরাটি আরও ধীর গতিতে চলে -Oতবে -Oএটি অ-বিপজ্জনক হওয়া উচিত । কেউ কি বলতে পারেন কি হয়েছে? যদি এটি গুরুত্বপূর্ণ হয় তবে এটি এই সমস্যাটি সমাধান করার চেষ্টা এবং এটি বাইনারি অনুসন্ধান এবং অবিচ্ছিন্ন সেগমেন্ট ট্রি ব্যবহার করে: import Control.Monad import Data.Array data Node = Leaf Int …

87 haskell  optimization  ghc  compiler-bug 

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

87 haskell  types  functional-programming  logic  agda 

প্রদত্ত : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo আমি Stringএকটি উদাহরণ তৈরি করতে চাই Fooable: instance Fooable String where toFoo = FooString জিএইচসি তারপরে অভিযোগ করেছেন: Illegal instance declaration for `Fooable String' (All …

85 haskell  ghc  typeclass  type-systems 

মান-গ্রন্থাগার Haskell, typeclasses MonadPlus, Alternativeএবং Monoidপ্রতিটি মূলত একই শব্দার্থবিদ্যা সঙ্গে দুটি পদ্ধতি প্রদান: একটি খালি মান: mzero, empty, অথবা mempty। একটি অপারেটর a -> a -> aএকসঙ্গে typeclass মান যোগদান করে: mplus, <|>, অথবা mappend। তিনটিই এই আইনগুলিকে নির্দিষ্ট করে যেখানে উদাহরণগুলি মেনে চলতে হবে: mempty `mappend` x = x …

85 haskell  functional-programming  typeclass  applicative  monoids 

জিএইচসি কীভাবে প্রাকৃতিক সংখ্যার জন্য প্রমাণ করে যে আপনি কেবল তার চেয়ে আরও অর্ধেক অর্ধেক করতে পারেন তা নির্ধারণ করতে আমি এই ছোট্ট হাস্কেলের কথা লিখেছিলাম: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type …

84 haskell  ghc  proof  haskell-platform  formal-verification 

আমি goহাস্কেল উপাদান বা উত্স পড়ার সময় অনেক কিছুই দেখতে পাই , তবে আমি এটি সম্পর্কে সত্যই কখনই স্বাচ্ছন্দ্যবোধ করি না - (আমার মনে হয় এটি "মনের মধ্যে" গোটো "এর নেতিবাচক অর্থ আছে)। আমি LYH এর সাথে হাস্কেল শিখতে শুরু করেছিলাম এবং এটিই আমি ব্যবহার করার প্রবণতা accএবং stepভাঁজ লেখার …

84 haskell  naming-conventions 

আমি পুনরাবৃত্তি স্কিম এবং কোরকর্সন স্কিমগুলির (ক্যাটামরফিজমস, অ্যানোমর্ফিজমস, হাইলোমর্ফিিজম ইত্যাদি) কিছু সত্যই সহজ-সহজ-জ্ঞাত ব্যাখ্যা খুঁজছি যার জন্য নিম্নলিখিত সংখ্যক লিঙ্কের প্রয়োজন হয় না বা বিভাগের তত্ত্বের পাঠ্যপুস্তক খোলার দরকার নেই। আমি নিশ্চিত যে কোডিংয়ের প্রক্রিয়া চলাকালীন আমি এই প্রকল্পগুলির অনেকগুলি অজ্ঞাতসারে পুনরায় উদ্ভাবন করেছি এবং সেগুলি আমার মাথায় "প্রয়োগ" করেছি …

83 haskell  recursion  functional-programming  recursion-schemes 

আমার উপলব্ধি অনুসারে, আংশিক ফাংশনগুলি এমন ফাংশন যা আমরা প্রত্যাশার চেয়ে কোনও ফাংশনে কম প্যারামিটার দিয়ে পাস করি। উদাহরণস্বরূপ, পাইথনে এটি সরাসরি বৈধ হলে: >>> def add(x,y): ... return x+y ... >>> new_function = add(1) >>> new_function(2) 3 উপরের স্নিপেটে new_functionএকটি আংশিক ফাংশন রয়েছে। তবে, হাস্কেল উইকির মতে , আংশিক …

55 python  haskell  functional-programming  partial-application  partial-functions 

আমি বর্তমানে একটি প্রোগ্রামিং ভাষার জন্য একটি সাধারণ দোভাষী নিয়ে কাজ করছি এবং আমার কাছে এই জাতীয় ডেটা টাইপ রয়েছে: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr এবং আমার অনেকগুলি ফাংশন রয়েছে যা সাধারণ জিনিসগুলি করে: -- Substitute a value for a …

50 haskell  functional-programming  dry  code-duplication  recursive-type 

আমি আমার সংগীত প্রকল্পে একটি ছোট্ট নান্দনিক সমস্যার মুখোমুখি হয়েছি এবং এটি কিছু সময়ের জন্য আমাকে বগল করছে। আমার একটি টাইপ আছে data Key = C | D | ...এবং আমি Scaleএকটি Keyএবং এ থেকে একটি তৈরি করতে পারি Mode। Modeএকটি প্রধান এবং একটি ছোটখাট স্কেল যেমন মধ্যে আলাদা। আমি …

39 haskell  dsl 

মডিউলটিতে System.Infoআমি এই ফাংশনগুলি দেখতে পাচ্ছি: os :: String arch :: String compilerName :: String compilerVersion :: Version কেন সেখানে নেই IO? তারা সিস্টেমে অ্যাক্সেস করছে ... আমি কি ভুল করছি? আমার প্রত্যাশা এমন কিছু ছিল: os :: IO String arch :: IO String compilerName :: IO String compilerVersion :: …

25 haskell 

ধরুন আমার কাছে একটি প্যারামিটার রয়েছে যা কেবলমাত্র টাইপ সিস্টেমের সুবিধার জন্যই বিদ্যমান, উদাহরণস্বরূপ এই ছোট প্রোগ্রামের মতো: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> Int) -> MyPoly listOfPolys …

22 haskell  phantom-types