С чего начать с программирования зависимого типа? [закрыто]

Что-то простое:

Значение должно быть строкой. преобразуйте его в строку, если это не так. Как "" + 123 или Integer.toString(123)

// let's assume value holds the String we want to pad
String value = "123";

Подстрока начинается с символа длины длины значения до конца длины:

String padded="00000000".substring(value.length()) + value;

// now padded is "00000123"

Точнее

правая кнопка:

String padded = value + ("ABCDEFGH".substring(value.length())); 

// now padded is "123DEFGH"

накладка слева:

String padString = "ABCDEFGH";
String padded = (padString.substring(0, padString.length() - value.length())) + value;

// now padded is "ABCDE123"