Question

Sum or Product Type?

score 2.8k · Answer 1 · 2015-06-10 15:57:19

2.8k

Views

Sum or Product Type?

Published on 10 June 2015 at 15:57

score 444 · Answer 2 · 2015-06-08 01:34:14

444

Views

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

Published on 08 June 2015 at 01:34

score 655 · Answer 3 · 2015-06-14 17:18:28

655

Views

Haskell Lambda fold

Published on 14 June 2015 at 17:18

score 178 · Answer 4 · 2015-06-21 16:34:39

178

Views

Mutually recursive datatypes

Published on 21 June 2015 at 16:34

score 1.5k · Answer 5 · 2017-01-07 15:20:37

1.5k

Views

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

Published on 07 January 2017 at 15:20

score 2k · Answer 6 · 2014-11-11 19:48:31

2k

Views

Introducing shape data type in Haskell

Published on 11 November 2014 at 19:48

score 25.9k · Answer 7 · 2013-12-13 03:36:22

25.9k

Views

What is the DataKinds extension of Haskell?

Published on 13 December 2013 at 03:36

score 1k · Answer 8 · 2017-08-26 23:02:36

1k

Views

Initial algebra for rose trees

Published on 26 August 2017 at 23:02

score 293 · Answer 9 · 2017-09-03 22:57:15

293

Views

Align polymorphic variant types between calling function and callback

Published on 03 September 2017 at 22:57

score 118 · Answer 10 · 2017-09-02 10:59:17

118

Views

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

Published on 02 September 2017 at 10:59

score 1.1k · Answer 11 · 2011-02-05 13:12:06

1.1k

Views

Recursive bottom-up traversal of algebraic data types

Published on 05 February 2011 at 13:12

score 306 · Answer 12 · 2013-08-30 13:46:55

306

Views

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

Published on 30 August 2013 at 13:46

score 850 · Answer 13 · 2013-09-03 14:30:58

850

Views

Representing map constraints as a ADT

Published on 03 September 2013 at 14:30

score 555 · Answer 14 · 2020-09-26 11:28:39

555

Views

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

Published on 26 September 2020 at 11:28

score 90 · Answer 15 · 2020-10-05 03:48:47

90

Views

Understanding tail recursion with stated data types

Published on 05 October 2020 at 03:48

score 99 · Answer 16 · 2020-10-19 22:02:27

99

Views

Determining the constructor of a data type instance

Published on 19 October 2020 at 22:02

score 138 · Answer 17 · 2020-10-21 15:53:26

138

Views

Type-safety with ADT and Aux pattern

Published on 21 October 2020 at 15:53

score 1.1k · Answer 18 · 2012-01-25 13:49:46

1.1k

Views

Are there default values for record getters in Haskell?

Published on 25 January 2012 at 13:49

score 12.5k · Answer 19 · 2013-12-24 19:35:02

12.5k

Views

C++ equivalent of algebraic datatype?

Published on 24 December 2013 at 19:35

score 4.2k · Answer 20 · 2014-01-10 00:24:33

4.2k

Views

How do you emulate ADTs and pattern matching in TypeScript?

Published on 10 January 2014 at 00:24

List Question

Sum or Product Type?

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

Haskell Lambda fold

Mutually recursive datatypes

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

Introducing shape data type in Haskell

What is the DataKinds extension of Haskell?

Initial algebra for rose trees

Align polymorphic variant types between calling function and callback

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

Recursive bottom-up traversal of algebraic data types

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

Representing map constraints as a ADT

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

Understanding tail recursion with stated data types

Determining the constructor of a data type instance

Type-safety with ADT and Aux pattern

Are there default values for record getters in Haskell?

C++ equivalent of algebraic datatype?

How do you emulate ADTs and pattern matching in TypeScript?

Trending Questions

Popular # Hahtags

Popular Questions