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

type BSTree a = BinaryTree a data BinaryTree a = Null | Node (BinaryTree a) a (BinaryTree a) deriving Show flattenTree :: BinaryTree a -> [a] flattenTree tree = case tree of Null -> [] Node left val right -> (flattenTree left) ++ [val] ++ (flattenTree right) isBSTree :: (Ord …

10 haskell  tree  binary-tree  binary-search-tree  predicate 

আমি কিছু বিরক্তিকর জিনিস নিয়ে হোঁচট খেয়েছি। আমি জানি যে হ্যাশেল দুর্বল মাথা স্বাভাবিক ফর্ম (ডাব্লুএইচএনএফ) এর সাথে কাজ করে এবং আমি জানি এটি কী। নিম্নলিখিত কোডটি জিসিসি তে টাইপ করা (আমি কমান্ডটি ব্যবহার করছি: স্প্রিন্ট যা ডাব্লুএইচএনএফের কাছে আমার জ্ঞানের সাথে অভিব্যক্তি হ্রাস করে)): let intlist = [[1,2],[2,3]] :sprint …

9 haskell  functional-programming  ghci  reduction  weak-head-normal-form 

আমি হাস্কেল শিখছি এবং ইয়েসডের জন্য একটি সাধারণ ডিবি-বীজ প্রোগ্রাম করছিলাম যখন আমি এই আচরণে হোঁচট খেয়েছি যা বুঝতে আমার অসুবিধা হয়: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] ইয়াসোদ জিএইচসিআই অধিবেশন: $ :t concatMap testFn [3] concatMap …

9 haskell  traversal 

( এই প্রশ্নের আমার উত্তর দ্বারা অনুপ্রাণিত ।) এই কোডটি বিবেচনা করুন (প্রদত্ত ইনপুটের চেয়ে কম বা সমান যে বৃহত্তম উপাদান এটি সন্ধান করা উচিত): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess :: Integer -> TreeMap v -> …

9 haskell  lazy-evaluation  dry 

আমি কিছুটা বিভিন্ন ধরণের রাজ্য সহ রাষ্ট্রীয় মেশিনগুলির একটি পরিবারকে সংজ্ঞায়িত করার চেষ্টা করছি। বিশেষত, আরও "জটিল" রাষ্ট্রীয় মেশিনগুলিতে এমন রাজ্য রয়েছে যা সরল রাষ্ট্র মেশিনগুলির রাজ্যগুলিকে একত্রিত করে গঠিত হয়। (এটি কোনও অবজেক্ট ওরিয়েন্টেড সেটিংয়ের মতো যেখানে কোনও বস্তুর বিভিন্ন বৈশিষ্ট্য রয়েছে যা বস্তুও। আমি কী অর্জন করতে চাই …

9 haskell  state  monads  monad-transformers  state-monad 

এগুলি কেন সমতুল্য নয়? show $ if someCondition then someInt else some double এবং if someCondition then show someInt else show someDouble আমি বুঝতে পারি যে আপনি যদি if ... elseপ্রথম উদাহরণের অংশটি নিজেই একটি অভিব্যক্তিতে বিচ্ছিন্ন করে থাকেন তবে আপনি Int | Doubleটাইপস্ক্রিপ্টে সহজেই কিছু করতে পারেন এমন কোনও …

9 haskell  compiler-construction  language-features  typechecking 

আমি সত্যিই কলসিসি বোঝার সাথে লড়াই করছি। আমি ধারাবাহিকতার শক্তি পেয়েছি এবং আমার কিছু প্রকল্পে ধারণাটি ব্যবহার করে শীতল ধারণা তৈরি করেছি। তবে কখনই আমার চেয়ে বেশি ক্ষমতা সহ কিছু ব্যবহার করার দরকার পড়েনি cont :: ((a->r)->r)-> Cont r a। এটি ব্যবহারের পরে, তারা কেন কনট মোনাডকে সমস্ত মনাদের মাতৃভাষা, …

9 haskell  functional-programming  monads 

আমি এক ধরণের টেবিলে একাধিক ডায়াগ্রাম একসাথে রাখার চেষ্টা করছি। আমার মনে হয় এটিকে "সূচক মুদ্রণ" বলা হয় , ফটোগ্রাফি লোকেরা এমন করে যখন তাদের একবারে অনেকগুলি ফটোগ্রাফ পর্যালোচনা করতে হয়। যাইহোক, এটি কোড: main :: IO () main = mainWith @(Diagram B) $ (tile . fmap renderOne) examples renderOne …

9 haskell  haskell-diagrams 

বন্ধ । এই প্রশ্নটি আরও ফোকাস করা প্রয়োজন । এটি বর্তমানে উত্তর গ্রহণ করছে না। এই প্রশ্নটি উন্নত করতে চান? প্রশ্নটি আপডেট করুন যাতে এটি কেবলমাত্র এই পোস্টটি সম্পাদনা করে একটি সমস্যার উপর দৃষ্টি নিবদ্ধ করে । 7 মাস আগে বন্ধ ছিল । সম্প্রতি, আমি আমার কিছু বাস্তব কেস প্রোডাকশন …

9 haskell  higher-order-functions  fold 

আমার কাছে এই (স্বীকারোচিতভাবে অদ্ভুত) কোড রয়েছে যা লেন্স এবং জিএইচসি.রেকর্ডগুলি ব্যবহার করে : {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- …

9 haskell  typeclass  typechecking 

সমস্যা হাস্কেলের নিম্নলিখিত নকশা সমস্যা বিবেচনা করুন। আমার একটি সাধারণ, প্রতীকী ইডিএসএল রয়েছে যাতে আমি ভেরিয়েবল এবং সাধারণ এক্সপ্রেশন (মাল্টিভারিয়েট পলিনোমিয়ালস) যেমন প্রকাশ করতে চাই x^2 * y + 2*z + 1। তদ্ব্যতীত, আমি অভিব্যক্তিগুলির উপর কিছু প্রতীকী সমীকরণ প্রকাশ করতে চাই, বলতে চাই x^2 + 1 = 1, পাশাপাশি …

9 haskell  casting  type-conversion  ghc  typeclass 

ApplicativeTypeclass প্রতিনিধিত্ব করে শিথিল monoidal functors যে টাইপ করা ফাংশন শ্রেণীতে কার্টিজিয়ান monoidal গঠন সংরক্ষণ। অন্য কথায়, ক্যানোনিকাল আইসোমর্ফিজমগুলি দেওয়া সাক্ষ্য দেয় যা (,)একটি একঘেয়ে কাঠামো গঠন করে: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> …

9 haskell  functor  applicative  category-theory 

একটি প্যাটার্ন যা আমি বেশ কয়েকবার এসেছি সেগুলি হ'ল সেই মানটির তালিকাতে কিছু পরীক্ষা ম্যাপ করে এবং কোনও বা সমস্ত উপাদান উত্তীর্ণ হয়েছে কিনা তা দেখে পরীক্ষা করে নেওয়া দরকার। সাধারণ সমাধানটি কেবল সুবিধাজনক বিল্ট-ইনগুলি ব্যবহার করার জন্য allএবং any। সমস্যা হ'ল এগুলি সিরিয়ালে মূল্যায়ন করে। বেশিরভাগ ক্ষেত্রে কোনও থ্রেডের …

9 haskell  testing  concurrency  parallel-processing  any