List Question
20 TechQA 2024-03-25T15:58:15.557000How to use menhir to parse into a GADT expression?
45 views
Asked by stormckey
How to change the order of type application parameters for a constructor
59 views
Asked by Clinton
Why does Data.Dynamic contain a witness instead of a typeclass constraint?
134 views
Asked by Clinton
How to create and GADT type with Kotlin
48 views
Asked by Carlos Saltos
Cannot solve a type mismatching with GADT
47 views
Asked by mofu
Length indexed heterogeneous vector
90 views
Asked by John Smith
Difference between GADTs and GADTSyntax
123 views
Asked by pgmcr
Reverse heterogeneous gadt list with recursively dependent elements
69 views
Asked by Viaceslavus
How close can I get to GADTs in Rust?
1k views
Asked by radrow
How to type function which takes arguments of a DataKind indexed type instantiated with different indices?
80 views
Asked by Agnishom Chattopadhyay
Why haskell can't infer type for this GADT
126 views
Asked by Evg
What are equality witnesses like `Type.eq` / `Typing_equal.equal` used for?
253 views
Asked by Max Heiber
Succinct way to use GADTs for exhaustiveness-checking in Scala?
92 views
Asked by Max Heiber
Mapping rules with GADTS/Type Families
84 views
Asked by WHITECOLOR
How to abstract over higher-kind with F-bounded polymorphism in Scala3? The same definition works in Scala2
123 views
Asked by tribbloid
Polymorphic function for phantom GADT type
206 views
Asked by Tozarin
scala3: Methods on enum case, possible?
190 views
Asked by caeus
Extending GADTs examples - could not deduce
130 views
Asked by danielbeard
(Scala 2.12.8) pattern type is incompatible with expected type for parameterized type inside of parameterized class
105 views
Asked by memorableusername
How does GADTs affect type inference in this case?
187 views
Asked by Javran