Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in haskell

Examples of "undoable" applicative functors?

Testing QuickCheck properties against multiple types?

testing haskell quickcheck

The reason for MonadState get and put?

state monads haskell

Reasoning laziness

haskell lazy-evaluation

How does GHC/Haskell decide what character encoding it's going to decode/encode from/to?

Haskell Cabal: How to ignore dependencies

haskell dependencies cabal

Alias for a function name has a different type signature. Why?

haskell types

Controlling parallel execution

Removing "case" with duplicate branches from Haskell's Core

haskell core repa

Making a grid-like data type in haskell

Write a parallel array Haskell expression once, run on CPUs & GPUs with repa and accelerate

Can exceptions sneak between restore and mask?

Is there a fast algorithm to determine the godel number of a term of a context free language?

Append for type-level numbered lists with TypeLits

haskell

Is it possible to get the Kind of a Type Constructor in Haskell?

haskell type-kinds

difference between munch and many (satisfy p)?

parsing haskell

Is it possible to write fmap for this data type involving a type family?

haskell ghc type-families

How do you write rewrite rules for typeclass methods?

haskell optimization ghc

What are the state-of-art methods for solving functional equations?

Why is full-laziness a default optimization?

haskell ghc