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

New posts in gadt

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

Converting GADT to phantom types

ocaml adt gadt

type level integers in ocaml

types ocaml gadt
« Newer Entries Older Entries »