Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in haskell

Difference between type family and partial newtype? (and partial data?)

haskell gadt type-families

Is there a wildcard type variable in Haskell?

haskell

Can "overloading" via FlexibleInstances return different types, or match on typeclasses?

haskell overloading

In GHC.Prim, why can pointer operations fail with an unchecked exception?

haskell ghc

Difference between newtypes and type synonyms for polymorphic constrained types

A series of independent if statements in haskell

haskell if-statement

Applicative functors and records in purescript

haskell purescript

Alternative of Show that only uses name

haskell generics deriving

Making sure all exceptions are handled

haskell exception

Deconstructing types in Haskell

haskell types

Confusing ReaderT definition

Working on Peano Axioms in Agda and hit a bit of a sticking point

haskell axiom agda

Reduce memory usage of a Haskell program

haskell streaming aeson

Is the type constructor `Maybe (BTree a)` a monad?

String manipulation haskell

string haskell

StateMonad instance for TeletypeIO

How to instruct haddock to link to hackage documentation for hackage packages?

Returning a bare struct from C to Haskell in c2hs

haskell c2hs