Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in algebraic-data-types

Where did defadt go in new clojure contrib?

How to instantiate a generic record with explicit type parameters?

Are sum types defined with UnboxedSums more efficient than plain enum?

Sum Types vs. Type Classes vs. Records

Why do I need to call the constructor again in the definition of fmap even when I don't apply the f argument? [duplicate]

How to make function useable only for a certain data constructor of an ADT?

How to serialise Haskell ADTs as tidy JSON, using Aeson?

Is it possible to create a type-level representation of generic ADTs?

Haskell's algebraic data types: "pseudo-extend"

ADT subtyping in Scala

Avoid tedious implementation of Ord

recursive datatypes in haskell

Defining new data types in Scheme

What is the name for the contrary of Tuple or Either with more than two options?

GADTs: Difference between 'Algebraic' and 'Abstract'?

Functor instance for a simple algebraic data type

What is the significance of algebraic datatypes with zero constructors?

How/can this type be made into a Monoid instance

What are algebraic structures in functional programming?

Do algebraic datatypes in Haskell equal discriminated unions in F#?