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

How to implement Swift-style enum with associated values in Typescript? [duplicate]

pattern-matching typescript algebraic-data-types

How to avoid SML datatype repetition in structures and signatures?

module sml algebraic-data-types

Algebraic Data Types in GraphQL

graphql graphql-js algebraic-data-types

Overhead of using classes for matrix of algebraic structures in C++

c++ class overhead quaternions algebraic-data-types

Haskell Zipper for ADT with many constructors

haskell algebraic-data-types zipper

Algorithm to detect and remove least number of inconsistent facts (probably in PROLOG)?

algorithm prolog logic algebraic-data-types symbolic-computation

How to express type of "slice of (string or 'other such slice')"

go types abstract-syntax-tree algebraic-data-types

Subset algebraic data type, or type-level set, in Haskell

haskell dependent-type algebraic-data-types

what makes a class/trait in scala an ADT

scala types algebraic-data-types

Modifying immutable substructures

c++ c++17 immutability monads algebraic-data-types

Surjectivity check when return type is sealed

scala pattern-matching algebraic-data-types non-exhaustive-patterns

How to infer the type of the Scott encoded List constructor?

haskell functional-programming algebraic-data-types higher-rank-types scott-encoding

How do I create an unbox instance of an ADT?

haskell unboxing algebraic-data-types

Using record syntax with algebraic data types with multiple constructors

haskell algebraic-data-types

How to convert a custom type to an Integer in Haskell?

haskell functional-programming algebraic-data-types custom-data-type derivingvia

In OCaml, what is the difference between `'a.` and `type a.` and when to use each?

polymorphism ocaml type-inference algebraic-data-types

Apply a function to substructures automatically

haskell recursion algebraic-data-types

Why does concatenation of lists take O(n)?

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

Is the concept of Algebraic Data Type akin to Class definitions in OO languages?

functional-programming algebraic-data-types

"Composite" algebraic data types in Scala and Haskell

scala haskell algebraic-data-types
« Newer Entries Older Entries »