Кой принцип на програмиране позволява използването на генерични типове?