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

New posts in gadt

Adventures with Types in Haskell: GADT's: why does the following typechecks?

haskell functional-programming type-inference gadt

Polymorphic result type GADT function

haskell types gadt

Parsing and the use of GADTs

haskell gadt attoparsec

Can someone explain the type syntax used in this OCaml program?

polymorphism ocaml variant gadt

Modeling a domain as a GADT type and providing do-sugar for it

haskell 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

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

haskell gadt arrows
« Newer Entries Older Entries »