Некоторые преимущества использования типов-сумм в функциональном программировании:

• Редкая инициализация и настройка. 1 Это происходит по мере появления в коде, а не с точки зрения выполнения, как в случае явного ветвления в бизнес-логике. 1
• Исчерпывающее сопоставление с образцом. 1 Код не компилируется, если не охвачены все возможности. 1
• Возможность использовать модели поведения, которые не учитывались во время разработки. 1 Это достигается путём написания новых исчерпывающих сопоставлений с шаблоном, при условии, что они соответствуют контракту объединения. 1
• Понятные, прозрачные и логичные конструкции. 3 Математичность получающихся структур данных позволяет делать более понятные и логичные конструкции, которые находят применение в разных предметных областях. 3