Tag algebraic-data-types - This is page 6 - GeneraCodice

Why do we use folds to encode datatypes as functions?

https://www.generacodice.com/en/articolo/5356757/why-do-we-use-folds-to-encode-datatypes-as-functions

  functional-programming  -  haskell  -  algebraic-data-types  -  church-encoding  -  scott-encoding

StackOverflow

Laziness/strictness between data and newtype

https://www.generacodice.com/en/articolo/5348300/laziness-strictness-between-data-and-newtype

  haskell  -  algebraic-data-types  -  lazy-evaluation  -  newtype

StackOverflow

How unpacking strict fields goes together with polymorphism?

https://www.generacodice.com/en/articolo/4987977/how-unpacking-strict-fields-goes-together-with-polymorphism

  optimization  -  haskell  -  algebraic-data-types  -  strict  -  ghc

StackOverflow

How to add fields that only cache something to ADT?

https://www.generacodice.com/en/articolo/4987889/how-to-add-fields-that-only-cache-something-to-adt

  design-patterns  -  caching  -  haskell  -  algebraic-data-types  -  memoization

StackOverflow

How do I concatenate two Snoc lists?

https://www.generacodice.com/en/articolo/4967071/how-do-i-concatenate-two-snoc-lists

  list  -  haskell  -  algebraic-data-types

StackOverflow

Is there a simple way to turn a data type deriving Enum into a list?

https://www.generacodice.com/en/articolo/4962268/is-there-a-simple-way-to-turn-a-data-type-deriving-enum-into-a-list

  enums  -  haskell  -  algebraic-data-types

StackOverflow

ADT-like polymorphism in Java (without altering class)

https://www.generacodice.com/en/articolo/4876597/adt-like-polymorphism-in-java-without-altering-class

  java  -  haskell  -  algebraic-data-types

StackOverflow

“Composite” algebraic data types in Scala and Haskell

https://www.generacodice.com/en/articolo/4679041/composite-algebraic-data-types-in-scala-and-haskell

  haskell  -  algebraic-data-types  -  scala

StackOverflow

Having trouble understanding Haskell's type system

https://www.generacodice.com/en/articolo/4676679/having-trouble-understanding-haskell-s-type-system

  types  -  constructor  -  haskell  -  algebraic-data-types  -  overloading

StackOverflow

What is the significance of algebraic datatypes with zero constructors?

https://www.generacodice.com/en/articolo/4651650/what-is-the-significance-of-algebraic-datatypes-with-zero-constructors

  types  -  haskell  -  algebraic-data-types

StackOverflow

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

Results found: 128