Przykład typu wyliczeniowego:

  enum Waluta {złoty, frank, dolar, funt};

Typy konstruowane:

struct - agregacja danych podobna do struct w C/C++

union - rozłączna unia typów, j.w., ewentualnie z dyskryminatorem umożliwiającym dynamiczne rozróżnienie typu wartości. Pojęcie unii jest identyczne z podobnym pojęciem w C/C++.

Typy wzorcowe:

string i wstring - typy stringowe i stringowe z rozszerzonym zakresem znaków string<10> - ograniczenie do 10-ciu znaków string - brak ograniczenia długości

sequence - liniowy kontener o ograniczonej lub nieograniczonej długości. Typ elementu i ograniczenie - w nawiasach trójkątnych, np. sequence - dowolnie długa sekwencja referencji do obiektów Factory, sequence - sekwencja stringów ograniczona do max 10-ciu

 //OMG IDL 
   interface FactoryFinder {
       // definicja sekwencji referencji do obiektów Factory  
     typedef sequence<Factory> FactorySeq;  
     FactorySeq find_factories ( in string interface_name ); 
  };

FactorySeq - nieograniczona sekwencja referencji do obiektów Factory

find_factories - operacja, która bierze jako parametr nieograniczony string i zwraca jako rezutat taką sekwencję referencji