DEVHIDE
Login Or Sign up

List Question

20
2.8k
Views

Sum or Product Type?

Published on
#scala #algebraic-data-types
506
Views

How to write a type that is isomorphic to Tree without nested lists?

Published on
#haskell #functional-programming #algebraic-data-types
704
Views

Haskell Lambda fold

Published on
#string #haskell #lambda #fold #algebraic-data-types
228
Views

Mutually recursive datatypes

Published on
#recursion #ocaml #algebraic-data-types
1.6k
Views

Haskell: is there a way of 'mapping' over an algebraic data type?

Published on
#haskell #records #algebraic-data-types
2.1k
Views

Introducing shape data type in Haskell

Published on
#haskell #algebraic-data-types
25.9k
Views

What is the DataKinds extension of Haskell?

Published on
#haskell #types #algebraic-data-types #data-kinds
1k
Views

Initial algebra for rose trees

Published on
#haskell #recursion #algebra #algebraic-data-types #category-theory
342
Views

Align polymorphic variant types between calling function and callback

Published on
#types #ocaml #algebraic-data-types #subtyping
166
Views

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

Published on
#go #types #abstract-syntax-tree #algebraic-data-types
1.2k
Views

Recursive bottom-up traversal of algebraic data types

Published on
#haskell #recursion #fold #algebraic-data-types
320
Views

Can all constraints on data be represented as Algebraic Data Types?

Published on
#haskell #algebraic-data-types
864
Views

Representing map constraints as a ADT

Published on
#haskell #algebraic-data-types #roguelike
569
Views

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

Published on
#haskell #dependent-type #algebraic-data-types
102
Views

Understanding tail recursion with stated data types

Published on
#recursion #f# #algebraic-data-types
113
Views

Determining the constructor of a data type instance

Published on
#haskell #constructor #pattern-matching #algebraic-data-types
155
Views

Type-safety with ADT and Aux pattern

Published on
#scala #type-safety #algebraic-data-types
1.1k
Views

Are there default values for record getters in Haskell?

Published on
#haskell #record #algebraic-data-types
12.5k
Views

C++ equivalent of algebraic datatype?

Published on
#c++ #haskell #algebraic-data-types
4.2k
Views

How do you emulate ADTs and pattern matching in TypeScript?

Published on
#pattern-matching #typescript #algebraic-data-types

Trending Questions

Popular # Hahtags

javascript python java c# php android html jquery c++ css ios sql mysql r reactjs node.js arrays c asp.net json python-3.x ruby-on-rails .net sql-server swift django angular objective-c pandas excel

Popular Questions

Copyright © 2021 Jogjafile Inc.