Tag category-theory - This is page 5 - GeneraCodice

Understanding Sequencing in Functional Programming

https://www.generacodice.com/en/articolo/4915766/understanding-sequencing-in-functional-programming
  functional-programming  -  haskell  -  category-theory
StackOverflow StackOverflow

Are functions of arity-n really just an n-category due to currying? Can they be made into a 1-category?

https://www.generacodice.com/en/articolo/4840901/are-functions-of-arity-n-really-just-an-n-category-due-to-currying-can-they-be-made-into-a-1-category
  currying  -  haskell  -  category-theory  -  arity
StackOverflow StackOverflow

Satisfying monad laws without a type constructor

https://www.generacodice.com/en/articolo/4684586/satisfying-monad-laws-without-a-type-constructor
  haskell  -  monads  -  functor  -  category-theory
StackOverflow StackOverflow

High-Order ScalaCheck

https://www.generacodice.com/en/articolo/4237380/high-order-scalacheck
  specifications  -  scala  -  category-theory  -  scalacheck
StackOverflow StackOverflow

Contravariant binary operations in Scala

https://www.generacodice.com/en/articolo/4197934/contravariant-binary-operations-in-scala
  scala  -  category-theory
StackOverflow StackOverflow

What's the relation of fold on Option, Either etc and fold on Traversable?

https://www.generacodice.com/en/articolo/3258267/what-s-the-relation-of-fold-on-option-either-etc-and-fold-on-traversable
  functional-programming  -  scala  -  category-theory  -  catamorphism  -  scalaz
StackOverflow StackOverflow

What is a monad in FP, in categorical terms?

https://www.generacodice.com/en/articolo/3184644/what-is-a-monad-in-fp-in-categorical-terms
  functional-programming  -  haskell  -  monads  -  category-theory
StackOverflow StackOverflow

Scala — How to use Functors on non-Function types?

https://www.generacodice.com/en/articolo/2945284/scala-how-to-use-functors-on-non-function-types
  functional-programming  -  function  -  scala  -  functor  -  category-theory
StackOverflow StackOverflow

Functor in category theory: The free theorem for fmap

https://www.generacodice.com/en/articolo/2477548/functor-in-category-theory-the-free-theorem-for-fmap
  haskell  -  category-theory
cs.stackexchange cs.stackexchange

Can lists be defined in a special way so that they contain things of different type?

https://www.generacodice.com/en/articolo/2475569/can-lists-be-defined-in-a-special-way-so-that-they-contain-things-of-different-type
  functional-programming  -  lambda-calculus  -  category-theory
cs.stackexchange cs.stackexchange
Results found: 162
scroll top