blog.scottlogic.com/2025/02/17/variance-in-java-and-scala.html

Preview meta tags from the blog.scottlogic.com website.

Linked Hostnames

7

Thumbnail

Search Engine Appearance

Google

https://blog.scottlogic.com/2025/02/17/variance-in-java-and-scala.html

Variance in Generics, Phantom and Existential types with Java and Scala

In this post we look at Variance in Generics and how it is handled in Java and Scala. We consider use-site and declaration-site approaches and the trade offs of erasure. Finally we take a look at Phantom and Existential types and how they can enhance the capabilities of the type system when it comes to modelling.



Bing

Variance in Generics, Phantom and Existential types with Java and Scala

https://blog.scottlogic.com/2025/02/17/variance-in-java-and-scala.html

In this post we look at Variance in Generics and how it is handled in Java and Scala. We consider use-site and declaration-site approaches and the trade offs of erasure. Finally we take a look at Phantom and Existential types and how they can enhance the capabilities of the type system when it comes to modelling.



DuckDuckGo

https://blog.scottlogic.com/2025/02/17/variance-in-java-and-scala.html

Variance in Generics, Phantom and Existential types with Java and Scala

In this post we look at Variance in Generics and how it is handled in Java and Scala. We consider use-site and declaration-site approaches and the trade offs of erasure. Finally we take a look at Phantom and Existential types and how they can enhance the capabilities of the type system when it comes to modelling.

  • General Meta Tags

    5
    • title
      Variance in Generics, Phantom and Existential types with Java and Scala
    • charset
      utf-8
    • description
      In this post we look at Variance in Generics and how it is handled in Java and Scala. We consider use-site and declaration-site approaches and the trade offs of erasure. Finally we take a look at Phantom and Existential types and how they can enhance the capabilities of the type system when it comes to modelling.
    • viewport
      width=device-width, initial-scale=1.0
    • keywords
      Java, Scala

  • Open Graph Meta Tags

    6
    • og:title
      Variance in Generics, Phantom and Existential types with Java and Scala
    • og:description
      In this post we look at Variance in Generics and how it is handled in Java and Scala. We consider use-site and declaration-site approaches and the trade offs of erasure. Finally we take a look at Phantom and Existential types and how they can enhance the capabilities of the type system when it comes to modelling.
    • og:image
      https://blog.scottlogic.com/magnussmith/assets/java.jpg
    • og:type
      article
    • og:site_name
      Scott Logic

  • Twitter Meta Tags

    4
    • twitter:card
      summary_large_image
    • twitter:site
      @Scott_Logic
    • twitter:image
      https://blog.scottlogic.com/magnussmith/assets/java.jpg
    • twitter:creator
      @

  • Link Tags

    6
    • alternate
      https://blog.scottlogic.com/atom.xml
    • alternate
      https://blog.scottlogic.com/feed.xml
    • canonical
      https://blog.scottlogic.com/2025/02/17/variance-in-java-and-scala.html
    • canonical
      https://blog.scottlogic.com/2025/02/17/variance-in-java-and-scala.html
    • icon
      https://blog.scottlogic.com/favicon.ico

Links

39