Б
Size: a a a
Б
Oℕ
λ
D
Б
λ
Oℕ
sealed interface AsyncReturn<V> {
record Success<V>(V result) implements AsyncReturn<V> { }
record Failure<V>(Throwable cause) implements AsyncReturn<V> { }
record Timeout<V>() implements AsyncReturn<V> { }
record Interrupted<V>() implements AsyncReturn<V> { }
}
...
interface Future<V> {
AsyncReturn<V> get();
}
D
w
D
Б
Oℕ
D
D
λ
Oℕ
Oℕ
λ
Oℕ
Б