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

New posts in category-abstractions

fmapping arrows over monads

haskell arrows category-abstractions

Typeclass for (what seems to be) a contravariant functor implementing function inversion

haskell category-theory category-abstractions

What's wrong with defining composition this way?

haskell category-abstractions

Generalising ($) like Control.Category generalises (.)

haskell category-abstractions

Is (\f -> fmap f id) always equivalent to arr?

haskell functor category-theory arrows category-abstractions

Defining Categories and Category Laws in Haskell

haskell category-theory category-abstractions

"Generalized arrows" and proc notation?

haskell ghc arrows category-abstractions

How to construct an Applicative instance with constraints (similarly to constructing Monad instances using ContT)

haskell applicative type-constraints category-abstractions

What good is Control.Category?

haskell math category-abstractions

Would a type class "between" Category and Arrow make sense?

haskell typeclass arrows category-abstractions