#

subtyping

Here are 4 public repositories matching this topic...

sir-wabbit / leibniz

Leibniz equivalence and Liskov substitutability library for Scala.

dependent-types scala equality gadt variance witnesses liskov-substitution-principle existential-types liskov-subsititution subtyping leibniz propositions-as-types

Updated Mar 28, 2022
Scala

r8vnhill / free-love-scala

Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.

scala generics variance polymorphism object-oriented-programming parametric-polymorphism subtyping ad-hoc-polymorphism

Updated May 26, 2023
Scala

hvvka / scala-playground

Labs from functional and concurrent programming feat. Scala

promises scala actors functional-programming pattern-matching recursion concurrent-programming polymorphism futures basics subtyping

Updated Jun 17, 2019
Scala

salvalcantara / flink-events-and-polymorphism

Playground for comparing different strategies for dealing with polymorphic datasets in Flink

scala inheritance typeclass polymorphism flink subtyping

Updated Apr 18, 2020
Scala

Improve this page

Add a description, image, and links to the subtyping topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the subtyping topic, visit your repo's landing page and select "manage topics."