Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in haskell

Liberal coverage condition introduced in GHC 7.7 breaks code valid in GHC 7.6

haskell ghc type-inference typeclass typechecking

Why do "data Unit = Unit" and "()" behave differently in GHCi?

haskell lazy-evaluation evaluation

OverloadedLists extension not working

haskell language-extension

Are haskell data types co-algebras by default?

haskell category-theory

Haskell: Reusing FromJSON instances with lenses, lens-aeson, and nested JSON

haskell haskell-lens aeson

Breadth-First Search using State monad in Haskell

algorithm haskell state-monad breadth-first-search

Why Sum and Product aren't Functors

haskell typeclass

Monads: Determining if an arbitrary transformation is possible

haskell monads

Compute MD5 digest of file in Haskell

haskell md5

Haskell Data.Void: undefined turns into infinite loop

haskell void

When specifying an empty export list can be useful?

haskell module

Modular Arithmetic using Haskell Type-Families or GADTs?

haskell ghc modular gadt type-families

Codifying presence/absence of authentication at type level

haskell yesod

Can we have type variables in constructor position in the Hindley Milner type system?

haskell functional-programming ocaml type-inference hindley-milner

Idiomatic boolean equality usage (singletons)

haskell dependent-type singleton-type

Why is there a limit on the length of a regex pattern in Text.Regex.Posix?

haskell

What is the purpose of liftIO?

haskell

Implicit, static type cast (coercion) in Haskell

haskell casting type-conversion ghc typeclass

Why is the strictness-introducing function called seq?

haskell lazy-evaluation

Why can't I find any law violations for the NotQuiteCofree not-quite-comonad?

haskell category-theory comonad
« Newer Entries Older Entries »