subtyping

18 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Why scala self type is not a subtype of its requirement
user_16756150
•
3
3
373
self-type subtyping scala inheritance
Difference between union type LUB and supertype LUB
user_52050220
•
7
0
153
subtyping scala-3 dotty scala
when to use lower bound in scala method
user_45822400
•
2
2
177
subtyping variance scala
Java Allowed Narrowing Reference Conversion
user_106817050
•
2
0
81
subtyping type-conversion java types
Are extensible GADTs a viable solution to the expression problem?
user_7837430
•
2
0
128
subtyping gadt ghc haskell
Generic Function Subtype Constraint Error and Confusion
user_53224650
•
4
1
328
subtyping typescript generics types
Wildcard pattern overriding subtype constraint on polymorphic variant
user_79435640
•
6
2
191
polymorphic-variants subtyping type-inference ocaml types
union types in scala with subtyping: A|B <: A|B|C
user_11985590
•
5
2
569
subtyping union-types scala
Hot Questions