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

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

Where did defadt go in new clojure contrib?

clojure algebraic-data-types clojure-contrib

How to instantiate a generic record with explicit type parameters?

generics f# algebraic-data-types

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

performance haskell lazy-evaluation algebraic-data-types

Sum Types vs. Type Classes vs. Records

haskell typeclass algebraic-data-types

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

haskell functor algebraic-data-types sum-type

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

haskell pattern-matching algebraic-data-types maybe undefined-function option-type

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

json haskell serialization algebraic-data-types aeson

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

functional-programming agda algebraic-data-types idris church-encoding

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

haskell algebraic-data-types

ADT subtyping in Scala

scala generics algebraic-data-types

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

haskell f# functional-programming algebraic-data-types discriminated-union
« Newer Entries Older Entries »