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

New posts in existential-type

How to express this type in Scala? Existential with type class (ie, implicit) restriction?

scala existential-type implicits

Preventing type-variable proliferation in Haskell

haskell types ghc existential-type

Haskell: Combining existential and universal quantifiers fails unexpectedly

haskell ghc existential-type functional-logic-progr

How to specify the type for a heterogenous collection in a GADT formulated AST?

haskell existential-type gadt data-kinds

Type abstraction in GHC Haskell

haskell type-families existential-type system-f

Can I express a subclassing constraint?

haskell types typeclass existential-type

Strange type mismatch when using member access instead of extractor

scala existential-type higher-kinded-types

How to work around inability to use lenses with existential types?

haskell existential-type lenses haskell-lens

How can I ‘convince’ GHC that I've excluded a certain case?

haskell type-inference gadt existential-type

Scala case class copy doesn't always work with `_` existential type

scala generics type-inference case-class existential-type

How do existential types overlap with path-dependent types?

scala existential-type path-dependent-type

Can GADTs (or existentials) without constraints be compiled as tight as untyped ordinary ADTs?

performance haskell gadt existential-type

Resolving a Function Call in an Existential Type

haskell types existential-type

Haskell: Record Update for Existential Types

haskell record existential-type

Where is the scaladoc for scala.language.existentials?

scala existential-type

Hiding a State monad's s type parameter

haskell existential-type gadt

Why scala does not unify this type lambda with underlying type?

scala existential-type

Unwrapping an existentially quantified GADT

haskell dependent-type gadt existential-type

Does GHC use dynamic dispatch with existential types?

haskell existential-type dynamic-dispatch

Reify existential instance type parameter

haskell typeclass existential-type
« Newer Entries Older Entries »