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 can holes and contexts be implemented for higher-kinded types in a lens style uniplate library?

haskell gadt uniplate

Inferring general typeclass instance from a series of smaller ones?

haskell typeclass dependent-type gadt

GADTs for a DSL: swings and roundabouts?

haskell 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
« Newer Entries Older Entries »