|
Scala example source code file (lubs.scala)
The Scala lubs.scala source codeobject test1 { abstract class A[+T] class C extends A[C] class D extends A[D] def f = if(1 == 2) new C else new D val x1: A[Any] = f val x2: A[A[Any]] = f val x3: A[A[A[Any]]] = f val x4: A[A[A[A[Any]]]] = f } object test2 { abstract class A { type T } class C extends A { type T = C } class D extends A { type T = D } def f = if (1 == 2) new C else new D val x1: A { type T } = f val x2: A { type T >: Null <: A } = f val x3: A { type T >: Null <: A { type T >: Null <: A } } = f val x4: A { type T >: Null <: A { type T >: Null <: A { type T >: Null <: A } } } = f } Other Scala examples (source code examples)Here is a short list of links related to this Scala lubs.scala source code file: |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2024 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.