Question

How to use menhir to parse into a GADT expression?

score 45 · Answer 1 · 2024-03-25T15:58:15.557000

45

Views

How to use menhir to parse into a GADT expression?

Published on 25 March 2024 at 15:58

score 59 · Answer 2 · 2023-12-20T02:47:23.403000

59

Views

How to change the order of type application parameters for a constructor

Published on 20 December 2023 at 02:47

score 134 · Answer 3 · 2023-12-19T23:09:12.950000

134

Views

Why does Data.Dynamic contain a witness instead of a typeclass constraint?

Published on 19 December 2023 at 23:09

score 48 · Answer 4 · 2023-12-15T14:41:53.843000

48

Views

How to create and GADT type with Kotlin

Published on 15 December 2023 at 14:41

score 47 · Answer 5 · 2023-08-27T23:24:30.870000

47

Views

Cannot solve a type mismatching with GADT

Published on 27 August 2023 at 23:24

score 90 · Answer 6 · 2023-08-26T01:18:39.183000

90

Views

Length indexed heterogeneous vector

Published on 26 August 2023 at 01:18

score 123 · Answer 7 · 2023-08-12T18:29:37.233000

123

Views

Difference between GADTs and GADTSyntax

Published on 12 August 2023 at 18:29

score 69 · Answer 8 · 2023-08-01T20:07:26.677000

69

Views

Reverse heterogeneous gadt list with recursively dependent elements

Published on 01 August 2023 at 20:07

score 1k · Answer 9 · 2023-06-24T10:51:39.110000

1k

Views

How close can I get to GADTs in Rust?

Published on 24 June 2023 at 10:51

score 80 · Answer 10 · 2023-06-15T05:41:00.773000

80

Views

How to type function which takes arguments of a DataKind indexed type instantiated with different indices?

Published on 15 June 2023 at 05:41

score 126 · Answer 11 · 2023-04-08T05:57:15.073000

126

Views

Why haskell can't infer type for this GADT

Published on 08 April 2023 at 05:57

score 253 · Answer 12 · 2023-03-05T12:30:02.470000

253

Views

What are equality witnesses like `Type.eq` / `Typing_equal.equal` used for?

Published on 05 March 2023 at 12:30

score 92 · Answer 13 · 2023-03-04T10:30:07.050000

92

Views

Succinct way to use GADTs for exhaustiveness-checking in Scala?

Published on 04 March 2023 at 10:30

score 84 · Answer 14 · 2023-02-27T10:15:02.093000

84

Views

Mapping rules with GADTS/Type Families

Published on 27 February 2023 at 10:15

score 123 · Answer 15 · 2023-01-06T19:16:23.853000

123

Views

How to abstract over higher-kind with F-bounded polymorphism in Scala3? The same definition works in Scala2

Published on 06 January 2023 at 19:16

score 206 · Answer 16 · 2022-12-27T22:26:54.867000

206

Views

Polymorphic function for phantom GADT type

Published on 27 December 2022 at 22:26

score 190 · Answer 17 · 2022-10-19T20:18:17.643000

190

Views

scala3: Methods on enum case, possible?

Published on 19 October 2022 at 20:18

score 130 · Answer 18 · 2022-09-23T23:30:36.407000

130

Views

Extending GADTs examples - could not deduce

Published on 23 September 2022 at 23:30

score 105 · Answer 19 · 2022-09-08T19:00:39.973000

105

Views

(Scala 2.12.8) pattern type is incompatible with expected type for parameterized type inside of parameterized class

Published on 08 September 2022 at 19:00

score 187 · Answer 20 · 2022-09-05T20:49:43.237000

187

Views

How does GADTs affect type inference in this case?

Published on 05 September 2022 at 20:49

List Question

How to use menhir to parse into a GADT expression?

How to change the order of type application parameters for a constructor

Why does Data.Dynamic contain a witness instead of a typeclass constraint?

How to create and GADT type with Kotlin

Cannot solve a type mismatching with GADT

Length indexed heterogeneous vector

Difference between GADTs and GADTSyntax

Reverse heterogeneous gadt list with recursively dependent elements

How close can I get to GADTs in Rust?

How to type function which takes arguments of a DataKind indexed type instantiated with different indices?

Why haskell can't infer type for this GADT

What are equality witnesses like `Type.eq` / `Typing_equal.equal` used for?

Succinct way to use GADTs for exhaustiveness-checking in Scala?

Mapping rules with GADTS/Type Families

How to abstract over higher-kind with F-bounded polymorphism in Scala3? The same definition works in Scala2

Polymorphic function for phantom GADT type

scala3: Methods on enum case, possible?

Extending GADTs examples - could not deduce

(Scala 2.12.8) pattern type is incompatible with expected type for parameterized type inside of parameterized class

How does GADTs affect type inference in this case?

Trending Questions

Popular # Hahtags

Popular Questions