Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in haskell

Calling Haskell from C with Cabal

c haskell cabal

Combine two monads when neither has a transformer?

Is there a way to avoid unnecessary recursion?

haskell - Average floating point error using QuickCheck

Representing sum types in sql with Persistent, and Esqueleto joins

Lens package with algebraic types

haskell lenses

Is it recommended to use recursive IO actions in the tail recursive form?

Why is my code using monadic lists from the List package so slow?

Speeding up SHA256 in Haskell

haskell

Is it possible to implement a js version of Haskell's unzip in a purely functional fashion?

Compiling Haskell module to Javascript using ghcjs

haskell ghcjs

Prove the Transposition Theorem

haskell

How to reason about space complexity in Haskell

Can I model a list of successes with short circuiting failure via the composition of applicative functors?

Type-level nats with literals and an injective successor? (N-ary compose)

haskell ghc dependent-type

Applicative instance for MaybeT m assumes Monad m

Jumping forward with the continuation monad

Adventures with the untyped lambda calculus

Type-safe Flow (State Machine)

haskell gadt

Use QuickCheck by generating primes