Uno specificatore aggiunge informazioni a una definizione. Ad esempio, lo specificatore di effetto decides contrassegna una funzione come fallibile.
Gli specificatori si dividono in due sottocategorie: specificatori di accesso e specificatori di effetto.