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

New posts in haskell

Granted a traversable F-Algebra, is it possible to have a catamorphism over an applicative algebra?

haskell category-theory catamorphism

Remove repeating list elements using recursion and pattern matching in Haskell

list haskell recursion repeat

How can I stream test results with cabal new-test?

haskell cabal cabal-new

A monad for piecewise mutable state

haskell state-monad

How to declare protocol for HKT in swift?

swift haskell functional-programming

Can I somehow use a package with a later version of base than what the package specifies?

haskell haskell-stack

Simple example of call-by-need

r haskell lazy-evaluation call-by-need

Writing foldl as foldr confusion

list haskell lambda higher-order-functions fold

What are module signatures in Haskell?

haskell haskell-backpack

Is it possible to access `WriterT`'s partially collected `tell`s in case of exception?

haskell

Is it possible to design Stack (Haskell) just like NPM (NodeJS)?

haskell haskell-stack package-managers

Can I prove that (forall x. Coercible (a x) (b x)) implies Coercible a b?

haskell coercion

Need explanation for list comprehension in Haskell

haskell list-comprehension

Reason to use String instead of Text in Haskell

haskell yesod

How are J/K/APL classified in terms of common paradigms?

haskell language-agnostic functional-programming j paradigms

Could cabal warn about unused package in dependencies?

haskell cabal

replacement / substition with Haskell regex libraries

regex haskell

Can all typechecking occurrences of `coerce` safely be replaced with `unsafeCoerce`?

haskell set coerce

Haskell performance implementing unix's "cat" program with Data.ByteString

performance unix haskell pipeline cat

Haskell: example of function of type a -> a, besides the identity

haskell types type-inference type-variables
« Newer Entries Older Entries »