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

New posts in haskell

Church-Rosser Theorem Example in a Functional Programming Language

haskell functional-programming ml lambda-calculus

Encoding "Less Than" with Haskell

haskell gadt dependent-type singleton-type

For different possible Monad instances of a type, is the implied Functor instance always the same?

haskell monads functor free-theorem

Is the concept of an "interleaved homomorphism" a real thing?

haskell functor category-theory comonad homomorphism

creating MonadBaseControl instance for newtype

haskell monad-transformers

Does Haskell's type system honor the Liskov Substitution Principle?

java haskell types liskov-substitution-principle subtyping

Parsing Indentation-based syntaxes in Haskell's Parsec

parsing haskell indentation parsec

Ambiguous module name `Prelude'

haskell xmonad

What good is Control.Category?

haskell math category-abstractions

polymorphic function on existential type

haskell existential-type

Purity of functions generating ByteString (or any object with ForeignPtr component)

haskell bytestring

How lazy is Haskell's `++`?

string optimization haskell lazy-evaluation

Irrefutable pattern does not leak memory in recursion, but why?

haskell ghc lazy-evaluation accumulator space-leak

How do I get consistent criterion benchmarks, or interpret results across runs?

haskell benchmarking criterion

When (if ever) can type synonyms be partially applied?

haskell partial-application constraint-kinds type-synonyms

Result of -1%7 is different in javascript(-1) and python(6)

javascript python haskell

How do I derive the type for this function:

haskell types composition

Haskell laziness - how do I force the IO to happen sooner?

haskell io lazy-evaluation

On improving Haskell's performance compared to C in fibonacci micro-benchmark

performance haskell ghc micro-optimization microbenchmark

type declarations in 'where' -- what's going on?

haskell types where-clause
« Newer Entries Older Entries »