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

New posts in subtyping

heterogeneous lists through flexible types

list f# subtyping

What is the difference between "? extends E" and "T extends E"?

java generics collections subtyping

Is allowing untagged unions equivalent to allowing type classes?

haskell type-theory subtyping

Parametric Polymorphism vs Subtype polymorphism F#

inheritance f# functional-programming parametric-polymorphism subtyping

Why doesn't subtyping via existentials and constraints work?

haskell typeclass existential-type subtyping

Does interface belong to ad hoc polymorphism (i.e. overloading) or subtype polymorphism?

oop haskell polymorphism subtyping adhoc-polymorphism

Polymorphic variant --> GADT?

ocaml gadt subtyping polymorphic-variants

Scala val syntax: What does val myVal:{ def ... } mean?

function scala declaration subtyping

C# how to avoid typecasting to subclass?

c# .net subtyping

Contravariant method argument type

java scala covariance contravariance subtyping

Wrong generic overload function called

ios swift generics subtyping

JAVA: are the notion of subtyping and of inheritance the same thing?

java inheritance subtyping

Polymorphic variant subtype implementation does not match signature

ocaml subtyping polymorphic-variants

Wildcard pattern overriding subtype constraint on polymorphic variant

types ocaml type-inference subtyping polymorphic-variants

Subsetting Blocks (or Callables in general)

signature raku subtyping

Using data types in Haskell

haskell typing subtyping

why does OCaml use subtyping for polymorphic variants?

ocaml subtyping
Older Entries »