Search code examples
How is `arr fst` a natural transformation?...


haskellfunctorcategory-theoryarrow-abstraction

Read More
What's the relationship between profunctors and arrows?...


haskellfunctorcategory-theoryarrow-abstractionprofunctor

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


haskellfunctorcategory-theoryarrow-abstractioncategory-abstractions

Read More
Why can I not make a (Functor f) => ConcreteType -> f String into an instance Functor ((->)...


haskelltypesfunctor

Read More
Why there isn't a Functor instance for Kleisli in Control.Arrow?...


haskellfunctorarrow-abstraction

Read More
Using monads, monoids, functors and arrows in practice...


haskellmonadsfunctormonoidsarrow-abstraction

Read More
how to mix applicative functors and arrows...


haskellfunctorapplicativehxtarrow-abstraction

Read More
Why can't MSet be an instance of Functor?...


haskelltypeclassfunctor

Read More
Seq.iter slower than native mapping : any generic solution?...


genericsf#inlinefunctor

Read More
Module type semantics in OCaml...


functional-programmingocamlfunctor

Read More
Why does a js map on an array modify the original array?...


javascriptnode.jsdictionaryfunctor

Read More
Function passed as template argument...


c++templatescode-generationfunctor

Read More
Trouble understanding Haskell type unification with a nested `fmap`...


haskellmonadsfunctor

Read More
Why can't I define a function inside another function but can declare function inside another fu...


c++functorfunction-declaration

Read More
std::function to functions with default argument...


c++functorstd-functiondefault-arguments

Read More
Haskell void function...


haskellmonadsfunctor

Read More
Implementing functions in module types...


ocamlfunctor

Read More
How does <$ = (fmap . const) in Functor even work in Haskell?...


haskellfunctorhigher-order-functions

Read More
Why I get error "The type variable 'a occurs inside 'a t" with enabled -rectypes f...


ocamlfunctorrecursive-typecatamorphism

Read More
Menhir Parser Functor?...


ocamlfunctormenhir

Read More
Efficiency advantage of C++ 23 static operator()...


c++static-methodsfunctorc++23

Read More
Functors not recognized as transform_view args...


c++functorstd-ranges

Read More
Declaration of operator function inside struct...


c++structfunctor

Read More
Searching a way to use different variadic functors basing on condition...


c++variadic-templatesvariadic-functionsfunctor

Read More
What causes this type mismatch when applying a functor?...


typesocamlsignaturefunctor

Read More
What is the right way to put type declarations in OCaml signatures...


interfaceocamlsignaturefunctor

Read More
Standard ML functor examples...


functional-programmingsmlfunctorml

Read More
Using infix operator in the module in OCaml...


ocamlfunctorinfix-operator

Read More
is there a predefined functor for conditional operator in c++?...


c++conditional-operatorfunctor

Read More
Is this property of a functor stronger than a monad?...


haskellfunctional-programmingmonadsfunctorcategory-theory

Read More
BackNext