Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in haskell

Use ReaderT Maybe or MaybeT Reader?

Persistent selectList causing error of "Couldn't match type ‘BaseBackend backend0’ with ‘SqlBackend’"

Proving the fusion law for unfold

Change shell used to run "shell commands" in GHCi

haskell ghci

what is the difference between type "a" and type "t" in Haskell type signature?

haskell type-inference

Is it possible to assert an error case in HUnit?

Granted a traversable F-Algebra, is it possible to have a catamorphism over an applicative algebra?

Remove repeating list elements using recursion and pattern matching in Haskell

list haskell recursion repeat

How can I stream test results with cabal new-test?

haskell cabal cabal-new

A monad for piecewise mutable state

haskell state-monad

How to declare protocol for HKT in swift?

Can I somehow use a package with a later version of base than what the package specifies?

haskell haskell-stack

Simple example of call-by-need

Writing foldl as foldr confusion

What are module signatures in Haskell?

haskell haskell-backpack

Is it possible to access `WriterT`'s partially collected `tell`s in case of exception?

haskell

How are J/K/APL classified in terms of common paradigms?

Can all typechecking occurrences of `coerce` safely be replaced with `unsafeCoerce`?

haskell set coerce

Haskell performance implementing unix's "cat" program with Data.ByteString

Haskell: example of function of type a -> a, besides the identity