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

New posts in 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

Why does eqT returning Maybe (a :~: b) work better than it returning Bool?

haskell ghc gadt

Simulating existential quantification in function return types

haskell return-type existential-type gadt

When were GADTs introduced in GHC?

haskell ghc gadt

Recreating Lisp's `apply` in Haskell using GADTs

haskell dependent-type gadt

How to use functional dependencies and existential quantification to remove an unnecessary parameter to my type

haskell types existential-type gadt

Creating a list of valid constructors

haskell gadt

GADT type argument not being used for typeclass resolution

haskell type-inference typeclass gadt
« Newer Entries Older Entries »