Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in haskell

bruteforce with lazy evaluation and memory consumption

Does the existence rseq/seq break referential transparency? Are there some alternative approaches that don't?

Match a lot of patterns in Haskell efficiently

Is it possible to change the monad type in a monadic sequence?

haskell monads either

Is there a name for arrows of the type a -> a (in Haskell notation) in category theory?

haskell category-theory

Is eta reduction possible?

haskell pointfree

Constraining Data Types

How can I elegantly do not . any in Haskell?

haskell

Making the type of a function depend on input

(r ->) applicative functor

haskell functor applicative

Specific type inference using uncurry function

Haskell Lambda functions -- two seemingly equivalent functions, one works and the other is erroneous

"<-" and associated values

haskell monads

Strange type inference behaviour with GADT type (for fixed length vectors)

haskell ghc typeclass gadt

Haskell: Functions that sometimes return a function

Are there morphisms in Haskell?

Why is [1..n] not handled the same way as [n..1] in Haskell?

list haskell

Haskell Invert Pair

haskell

How is the calculation of types in Haskell

haskell types ghci

Use of 'unsafeCoerce'