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

New posts in gadt

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

Failable match on a seemingly irrefutable GADT pattern

haskell monads gadt

How to 'show' unshowable types?

haskell typeclass introspection gadt
« Newer Entries Older Entries »