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

Is there an accurate way in Haskell to encode tuple of Foo, where some certain combinations are forbidden?

haskell algebraic-data-types

How can I zip a list over another list that is nested in Haskell?

list haskell nested-lists map-function algebraic-data-types

What's the right way to use type aliases in Haskell

haskell types type-safety algebraic-data-types type-alias

Are there any uses for untyped unions(w/out a type tag)?

c unions algebraic-data-types

When using GADT in OCaml, how can I remove the 'less general definition' error message on a function?

functional-programming ocaml algebraic-data-types gadt

Haskell Cyclic Ord Relationship

haskell algebraic-data-types

Does there exist a mathematical formalism which uniquely determines ADT structure given some data?

haskell types functional-programming algebraic-data-types type-theory

How to design for extension using records

haskell functional-programming records algebraic-data-types

Constructing Haskell data types with many fields

haskell constructor algebraic-data-types

Using Free with a non-functor in Scalaz

scala design-patterns functional-programming scalaz algebraic-data-types

C symbolic types, and disjoint union types?

c haskell data-structures types algebraic-data-types

C++ nested class which inherits from the outer class; Incomplete type not allowed

c++ enums algebraic-data-types

How to show that the Rust type system supports algebraic data types (ADTs)?

rust algebraic-data-types

Elegant way to do associated "data items"

haskell algebraic-data-types

Haskell: Understanding algebraic data types better

haskell algebraic-data-types

Incorrect type inference while pattern matching in Scala

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

Creating a rectangle? - Haskell

haskell types compiler-errors type-mismatch algebraic-data-types

How to write a "from" and "to" function for "Add Void a === a"?

haskell algebraic-data-types

Invalid data type

haskell types algebraic-data-types
Older Entries »