algebraic-data-types Examples and Free Source Code

F# sum type with recursion?...

recursion f#algebraic-data-types

How can I extract data from all elements of a multiset?...

function functional-programming isabelle algebraic-data-types multiset

How to measure the size of a MultTree in Haskell?...

haskell recursion tree algebraic-data-types non-exhaustive-patterns

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

performance haskell lazy-evaluation algebraic-data-types

What are the requirements to prefer CPS over algebraic data types?...

haskell functional-programming algebraic-data-types continuation-passing

Incorrect type inference while pattern matching in Scala...

scala functional-programming pattern-matching algebraic-data-types

Getting a type mismatch error with the Haskell zipWith function...

haskell types type-mismatch algebraic-data-types custom-data-type

What are "sums-and-products" data structures?...

data-structures programming-languages types type-systems algebraic-data-types

How to narrow the type of an upper-bounded type parameter in a state machine encoding?...

scala functional-programming fsm algebraic-data-types

Transformation of two integers into a double in Java...

java eclipse integer double algebraic-data-types

Discriminated type unions...

haskell algebraic-data-types discriminated-union

Type-safety with ADT and Aux pattern...

scala type-safety algebraic-data-types

Understanding tail recursion with stated data types...

recursion f#algebraic-data-types

Additional case for a recursive data type...

haskell recursion types algebraic-data-types custom-data-type

Initial algebra for natural numbers...

haskell recursion algebraic-data-types category-theory catamorphism

What are algebraic structures in functional programming?...

haskell functional-programming typeclass algebraic-data-types abstract-algebra

Type with two enum fields in Haskell...

haskell types enums anonymous-types algebraic-data-types

How to implement an ADT for a container with one or many values in Scala...

scala algebraic-data-types path-dependent-type f-bounded-polymorphism

Reducing match indentation for deeply nested properties...

rust pattern-matching algebraic-data-types

Using parameterized branch of ADT in function...

scala shapeless algebraic-data-types

What should I rename bailFirst and bailLast functions in this code snippet from a functional program...

javascript functional-programming algebraic-data-types

Filter a algebraic datatype list...

haskell algebraic-data-types

How to decode an ADT with circe without disambiguating objects...

json scala algebraic-data-types circe generic-derivation

Abusing the algebra of algebraic data types - why does this work?...

haskell functional-programming algebraic-data-types miranda

Fix repetitive instance declarations for algebraic data type...

haskell algebraic-data-types

expressing properties of inductive datatypes in Dafny...

properties algebraic-data-types dafny quantifiers

In scala shapeless library, is there a native way to convert a product type (HList/Generic/NamedGene...

scala shapeless dependent-type algebraic-data-types

Get the value of a variant, which itself could be another variant...

c++c++17 template-meta-programming variant algebraic-data-types

Haskell: How to generate a cartesian product of two simple algebraic data types...

haskell cartesian-product algebraic-data-types

How to model this recurisve structure in Haskell?...

haskell kdb algebraic-data-types traversable