existential-type Examples and Free Source Code

What is the rank of these 3 functions? And, most importantly, why?...

haskell existential-type type-theory higher-rank-types

How to check if a type is an boxed/existential/protocol type?...

swift generics existential-type

Are C++ concepts a form of existential type?...

c++existential-type c++-concepts

Existential types in C#?...

c#polymorphism existential-type

What is an existential type?...

language-agnostic types type-systems existential-type

Relation between Existential Container and struct instance which conform protocol...

swift existential-type method-dispatch

Does GHC allow newtypes to have existential type variables?...

haskell ghc aeson existential-type

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

swift existential-type type-theory

How to avoid repetitive calls to a function with arguments of different types fitting the same gener...

generics rust existential-type

How Do I Mock TimerPublisher in Swift? -- 'autoconnect' cannot be used on 'any Connectab...

swift unit-testing timer combine existential-type

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

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