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

New posts in gadt

Functions to Polymorphic data types

haskell polymorphism gadt existential-type

Can I coerce an existentially quantified argument in a type constructor?

haskell types gadt existential-type

Return GADT from function

haskell dependent-type gadt

Is this use of GADTs fully equivalent to existential types?

haskell gadt existential-type

Can I statically reject different instantiations of an existential type?

haskell existential-type gadt type-level-computation

Implicit Arguments and Type Families

haskell types singleton gadt

How would one create a proper polymorphic Functor instance failing on unsafeVacuous?

haskell functor gadt bottom-type

Eliminating subst to prove equality

gadt agda

Congruence for heterogenous equality

equality proof gadt agda

Applicative Instance for (Monad m, Monoid o) => m o?

haskell monads gadt applicative monoids

Rank N types in let bindings

haskell gadt

How to differentiate GADT constructors with different phantom types?

haskell gadt

Defining your own Typeable instances for GADTs

haskell type-conversion ghc gadt

OCaml - GADT - Boolean expression

ocaml gadt

Is GADT extension destroying polymorphism?

haskell polymorphism gadt

GADT for polymorphic list

haskell gadt

Tagging a string with corresponding symbol

haskell types gadt

Odd ghc error message, "My brain just exploded"?

haskell gadt arrows
« Newer Entries Older Entries »