Category "haskell"

No instance for (Show (Double -> Double))

I have the following code which uses Newton's method to approximate the square root of some number. The problems is that when I run it, I get an error..What is

Mergeable with sum and product in type indices

Is there anything in Haskell resembling the following type class? class Mergeable (f :: Type -> Type -> Type) where merge :: f a b -> f c d -> f (

Making instance of Applicative

Still not a hundred percent shure how to make instances of the more complex types. Have this: data CouldBe a = Is a | Lost deriving (Show, Ord) Made an ins

Why is this Haskell code so slow compared to other languages?

As an exercise in learning Haskell I've written an interpreter for the CESIL language (an old, very basic, educational low level language). It works, but compar

Haskell-Find the shortest word in the list

minimumBy takes as the first parameter a function that should be used to compare two elements. comparing is a higher-order function that can be used to transfor

Implementing applicative functor for custom data type with two identical type classes

I'm trying to make Twice a member of applicative, but I am getting "Conflicting definitions for `a'" in the functor implementation: Also I'm not sure how to imp

Applicative instance trying to use monoidal functors

I'm learning Haskell and trying to do exercises from book Haskell Programming from first principles and I'm stack trying to write applicative for Pair type da

Is there a way to tell stack that I want to use an older resolver by default?

How would I configure stack to use an older resolver by default? I know the resolver can be specified on the command line at build time and per project in the

What does " Non type-variable argument in the constraint" really mean?

For example: map (+1) 2 in ghci yields <interactive>:23:1: error: * Non type-variable argument in the constraint: Num [b] (Use FlexibleContexts to

random number generator function returns a nested tuple in haskell

I am trying to understand why my haskell function returns a nested tuple, and I cannot seem to wrap my head around the problem. I have this function that genera

Type signature for function with possibly polymorphic arguments

Can I, and if so, how do I, write the type signature for a function: g f x y = (f x, f y) Such that given: f1 :: a -> [a] f1 x = [x] x1 :: Int x1 = 42

Haskell Stack install package dependency from github

Is it possible to install a version of a package from github using Haskell stack? e.g. in a .cabal or a stack.yaml file, how can I point a dependency at a git

How to compute the symmetric difference of two lists using list comprehension?

To get the symmetric difference of two lists I think it would be a good idea to use list comprehension. But I don't know what I could do to remove the common el

Issues with QuickCheck involving a data type with a function as a constructor

wrote the code below and am getting some issues with it : The error I am getting is : Data constructor not in scope: Int :: Int If I eradicate the Numeric I

How do I run the tests that are part of an installed/installing Cabal package?

I have a Haskell package I've installed from Hackage, using cabal and would like to run the tests suites that are part of the package, but it isn't clear to me

Computational Complexity of Higher Order Functions?

Map and filter seem like they would be linear O(n) because they only have to traverse a list once, but is their complexity affected by the function being passed

Is there a cleaner way of converting an Either to an ExceptT?

I have some functions which return Either values and I'd like to use them in an IO do block with what I think is called "short circuit" behaviour so that any Le

Getting 'a' value from 'Maybe a' return type in Haskell

I have a Haskell function eval :: WExp -> Memory -> WValue with a bunch of different instances of itself for different cases. For now, knowledge about WEx

Haskell: Continue program execution

I am very new to Haskell. My question might be very basic for you. Here I go- I am writing a program to create a series of numbers using a specific mathematica

Writing Algebraic Data Type in Scala

In Haskell, I can define a Tree: data Tree a = Empty | Node a (Tree a) (Tree a) How could I write this in Scala? I'm not sure how to keep the type paramete