Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in algebraic-data-types

In Agda is it possible to define a datatype that has equations?

agda algebraic-data-types

Flatten a tree (nested list) up to a certain depth

haskell tree nested-lists algebraic-data-types

Extending algebraic data type

haskell algebraic-data-types

Haskell typeclasses with algebraic data types

haskell typeclass algebraic-data-types

Mutually recursive datatypes

recursion ocaml algebraic-data-types

Haskell: Understanding custom data types

haskell functional-programming pattern-matching algebraic-data-types custom-data-type

Stream data type implementation in Haskell

haskell stream algebraic-data-types custom-data-type

Design of data types in Haskell

haskell algebraic-data-types

Mapping data constructors to types

haskell types algebraic-data-types

How does the Scala type system know that cons + Nil is exhaustive?

scala type-systems algebraic-data-types

ADTs in F# and Scala [closed]

scala f# comparison algebraic-data-types

Are there default values for record getters in Haskell?

haskell record algebraic-data-types

Record syntax and sum types

haskell types algebraic-data-types

No infinite type error for records

haskell types algebraic-data-types

list data type haskell with bounds

haskell algebraic-data-types

What is the preferable memory layout of Algebraic Data Types?

llvm algebraic-data-types

GADTs or phantom types to type-check function calls but keep homogeneity of type

haskell algebraic-data-types

Sum or Product Type?

scala algebraic-data-types

How to use the fold function in Haskell with other datatypes

haskell fold algebraic-data-types
Older Entries »