Etiqueta category-theory - Esta es la página 5 - GeneraCodice

Understanding Sequencing in Functional Programming

https://www.generacodice.com/es/articolo/4915766/understanding-sequencing-in-functional-programming

  functional-programming  -  haskell  -  category-theory

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/es/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

Satisfying monad laws without a type constructor

https://www.generacodice.com/es/articolo/4684586/satisfying-monad-laws-without-a-type-constructor

  haskell  -  monads  -  functor  -  category-theory

StackOverflow

High-Order ScalaCheck

https://www.generacodice.com/es/articolo/4237380/high-order-scalacheck

  specifications  -  scala  -  category-theory  -  scalacheck

StackOverflow

Contravariant binary operations in Scala

https://www.generacodice.com/es/articolo/4197934/contravariant-binary-operations-in-scala

  scala  -  category-theory

StackOverflow

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

https://www.generacodice.com/es/articolo/3258267/what-s-the-relation-of-fold-on-option-either-etc-and-fold-on-traversable

  functional-programming  -  scala  -  category-theory  -  catamorphism  -  scalaz

StackOverflow

What is a monad in FP, in categorical terms?

https://www.generacodice.com/es/articolo/3184644/what-is-a-monad-in-fp-in-categorical-terms

  functional-programming  -  haskell  -  monads  -  category-theory

StackOverflow

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

https://www.generacodice.com/es/articolo/2945284/scala-how-to-use-functors-on-non-function-types

  functional-programming  -  function  -  scala  -  functor  -  category-theory

StackOverflow

Functor in category theory: The free theorem for fmap

https://www.generacodice.com/es/articolo/2477548/functor-in-category-theory-the-free-theorem-for-fmap

  haskell  -  category-theory

cs.stackexchange

¿Se pueden definir las listas de una manera especial para que contengan cosas de diferentes tipos?

https://www.generacodice.com/es/articolo/2475569/se-pueden-definir-las-listas-de-una-manera-especial-para-que-contengan-cosas-de-diferentes-tipos

  functional-programming  -  lambda-calculus  -  category-theory

cs.stackexchange

• «
• 2
• 3
• 4
• 5
• 6
• 7
• »

Resultados encontrados: 162