抽象型 - 他の言語