В проекте, над которым я работаю, есть некоторый код, который по сути выглядит следующим образом:...

Я думаю, что сузил свою проблему до следующего: trait Thing case class SpecificThing(i: Int)...

Я хочу инициализировать String фиксированной длины в Аде более или менее следующим образом: S :...

В Java можно связать параметр типа универсального типа. Это можно сделать так: class A<T extends...

Это не хорошо List<List<? extends Number>> a; List<List<Integer>> b; a = b;...

В аргументах типа Java означают только строго подтипы? или E также будет достаточно?