existential-type Examples and Free Source Code

What does "existential type" mean in Swift?...

swift existential-type type-theory

Eq or Ord instances for existential GADT...

haskell gadt existential-type

Should using "any" be avoided when optimising code in Swift?...

ios swift performance generics existential-type

What are the definitions of Weather and Memory in xmobar repo?...

haskell functional-programming existential-type xmobar

How to change the order of type application parameters for a constructor...

haskell ghc gadt existential-type

How do I efficiently add existentially typed safe money values?...

haskell currency dependent-type existential-type

Why standalone deriving fails with rigid type on a record with existential quantification?...

haskell types ghc existential-type

Compiler Error When Comparing `some Protocol` Instances...

ios swift existential-type opaque-types

When do you need to write `any` when using a protocol as a type in Swift 5.7...

swift existential-type

What is an existential type?...

language-agnostic types type-systems existential-type

How to perform safe pattern matching on existential types in Scala 2.13?...

scala pattern-matching type-safety existential-type scala-2.13

How to define a implicit (given) Conversion for Generic Types?...

scala implicit-conversion implicit scala-3 existential-type

How can I conform a Swift enum to `Equatable` when it has an any existential as one of its associate...

ios swift existential-type

Bind wildcard type argument in Scala...

scala generics types type-inference existential-type

How can I tell when existentially quantified data constructors are needed to achieve my goals?...

haskell existential-type

Scala Higher Kinded Types for Traits and Method Parameters...

scala generics existential-type higher-kinded-types type-constructor

scala typemimatch _$1 found instead of required Type...

scala generics pattern-matching existential-type

How to accept only a specific subtype of existential type?...

scala generics shapeless existential-type typesafe

What's the theoretical basis for existential types?...

haskell types type-systems existential-type quantifiers

How to do the equivalent of T[Any] for higher kinded types in scala...

scala generics scala-3 existential-type higher-kinded-types

What's the best way to encode/decode a heterogenous array of type [any TypeName] in Swift 5.7?...

ios swift codable existential-type

Is there a penalty for changing a generic function's argument based on `MyProtocol` to using the...

swift generics existential-type

Issue with Swift 5.7 existentials...

swift swiftui protocols existential-type

Lifetime sub-typing and impl-trait...

rust traits lifetime existential-type

What does the `forall a -> b` syntax mean?...

haskell types existential-type data-kinds forall

Conditional and Existential Types on Translated Typescript Object...

typescript generics existential-type conditional-types

Change values to indices in a `Conkin.Traversable` without `unsafeCoerce`...

haskell traversal existential-type data-kinds

Why can't i give an explicit type signature to a local let bound ST action...

haskell existential-type type-signature type-variables scoped-type-variables

Why can't a polymorphic function accept wildcard (existential) types in Scala?...

scala existential-type scala-3 polymorphic-functions

How can I derive typeclass instances from constraint families that are in scope?...

haskell constraints gadt existential-type quantified-constraints