koher

That was my misunderstanding especially about subtyping of value types.

koher

import java.util.*;

Map<String, Integer> map = new TreeMap();
map.put("abc", 123);
map.put("def", 456);
map.put("ghi", 789);

map.get("abc");
map.get(123); // java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer

koher

I want Swift's Either like ...

Suppose that Either is declared in the following way,

enum Either<T, U> {
    case Left(T)
    case Right(U)
}

koher

a.map { b in
    b.map { c in {
        foo(b, c)
    }
}

for b in a {
    for c in b {
        foo(b, c)
    }

koher

import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;

import static java.lang.System.out;

public class VarianceTest {
	static class Animal {
	}

koher

struct Array2<T> {
	var buffer: Buffer<T>
	var count: Int
	
	init() {
		buffer = Buffer()
		count = 0
	}
	
	init(_ elements: T...) {

koher

protocol O {
	func f() -> String
}

struct A : O {
	func f() -> String {
		return "a"
	}
}

koher

package org.koherent.appengine.test;

import java.io.IOException;
import java.io.PrintWriter;
import java.util.ArrayList;
import java.util.List;
import java.util.Set;
import java.util.TreeSet;

import javax.servlet.ServletException;