In Core Foundation e carbonio, un tipo di dati aggregati, più una serie di funzioni che operano sulle istanze di tale tipo. I singoli campi di tipo inizializzato opaco sono nascosti da parte dei clienti, ma le funzioni del tipo offrono accesso alla maggior parte dei valori di questi campi. Un tipo opaco è all'incirca equivalente a una classe nella programmazione orientata agli oggetti.