"Jsou pole plnohodnotným datovým typem nebo speciální strukturou" - tak jsou jazyky, které omezují, jaké hodnoty se dají předávat funkcím nebo vracet z funkcí. Příkladem je C a Pascal, kde se to řeší přes ukazatele na první prvek pole (nebo obalením pole strukturou). Z tohoto pohledu se s poli pracuje jinak, než například s primitivními typy.