Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in haskell

Compute an (infinite) tree from fixpoint operator using delay modality

Endofunction as Monoid

haskell monoids

Pointfree case of

haskell pointfree

Is there something like cata but where you can match inner structure?

Functional topological sort

haskell

How to coerce functors applied to coercible arguments

haskell type-conversion

Adventures with Types in Haskell: GADT's: why does the following typechecks?

what does the A stand for in sequenceA?

Why does ghci outputs (Num a) => a for :t 4 and not (Ord a) => a?

Moving average in Haskell

Fold on non-lists?

Why Text.Regex.Posix =~ matches characters with \d?

regex haskell posix

ApplicativeDo not working with sequencing

Strange behaviour of list comprehensions

Using different Ordering for Sets

haskell

Polymorphic result type GADT function

haskell types gadt

Working with beta reduce

In Haskell does Integral typeclass imply Show typeclass?

haskell typeclass

Should bind result in a Monad?

haskell monads

Why to define the constructor parameter of Reader as a function?

haskell reader-monad