Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in gadt

How would you abstract away the boilerplate in this pair of "similar shaped" datatypes

haskell types lambda-calculus gadt metacircular

How to specify the type for a heterogenous collection in a GADT formulated AST?

haskell existential-type gadt data-kinds

Proper tagged AST

haskell monads abstract-syntax-tree gadt name-binding

How can I ‘convince’ GHC that I've excluded a certain case?

haskell type-inference gadt existential-type

I can't get my GADT-based toy Dynamic type to work with parametric types

haskell gadt curry-howard

Can GADTs (or existentials) without constraints be compiled as tight as untyped ordinary ADTs?

performance haskell gadt existential-type

Equality of De Bruijn-indexed variables in a GADT

haskell dsl gadt

Haskell: GADT with UNPACK Pragma

haskell ghc pragma unpack gadt

Building values dynamically with GADTs using Data Kinds

haskell gadt dependent-type data-kinds

Hiding a State monad's s type parameter

haskell existential-type gadt

How to make fixed-length vectors instance of Applicative?

haskell types pattern-matching typeclass gadt

Unwrapping an existentially quantified GADT

haskell dependent-type gadt existential-type

Strange type inference behaviour with GADT type (for fixed length vectors)

haskell ghc typeclass gadt

rigid type variable trouble/suspect Impredicativity

haskell types type-inference gadt

Can't deduce f = f₁ from f x = f₁ y?

haskell typechecking gadt unification

Why does a wildcard match work when enumerating all cases doesn't?

haskell pattern-matching type-inference gadt

Safest way to generate random GADT with Hedgehog (or any other property-based testing framework)

haskell type-safety gadt property-based-testing haskell-hedgehog

How can I get GHC to generate instances of Data.Typeable for GADTs with Typeable in the context?

haskell ghc gadt derived-instances

Using record update syntax with constrained GADT records

haskell record typeclass gadt
« Newer Entries Older Entries »