Typ zbiorowy to typ danych w określonym języku programowania udostępniający wartości i operacje na zbiorach.
Pojęcie typu zbiorowego Typ ten jest więc komputerową implementacją matematycznego pojęcia zbioru i operacji teoriomnogościowych. Zwykle jednak typ zbiorowy ma dość ograniczone możliwości, głównie co do ilości elementów zbiorów, co wynika głównie z fizycznej reprezentacji w pamięci wartości typu zbiorowego. Bardziej zaawansowana implementacja zbiorów wymaga więc indywidualnego zaprogramowania typu i operacji dla określonych potrzeb. Wartości typu zbiorowego reprezentowane są w kodzie źródłowym za pomocą literałów zbiorowych.
Stosunkowo niewiele języków oferuje w swoim standardzie typ zbiorowy, najbardziej znanym z takich języków jest Pascal. Współczesne implementacje wielu języków i biblioteki programistyczne, wprowadzają typ zbiorowy także do tych języków, w których nie było takiego typu danych.
Typ zbiorowy w językach programowania Borland Pascal Typ zbiorowy może zostać zdefiniowany jako zbiór wartości pewnego typu nazywanego typem bazowym.