Родственна ли концепция алгебраического типа данных определениям классов в объектно-ориентированных языках?

Обе концепции позволяют создавать новые типы данных. Единственное отличие, которое я вижу, заключается в том, что в функциональных языках можно выполнять сопоставление с образцом для алгебраических типов данных. Но для объектно-ориентированных языков нет сопоставимой лаконичной функции. Это точное утверждение?

6
задан canadadry 9 May 2012 в 06:12
поделиться