Opaの背後にある概念をより深く理解しようとしています。特に、ML や Haskell のような判別共用体を提供しない (つまり、0 個以上の値をラップする複数のコンストラクターを定義する) のではなく、それらのレコード型と合計型を維持するという決定に興味があります。この決定は私にとって完全に理にかなっています (おそらく私は FP よりも OOP に興味があるためです)。
しかし、言語はまだ代数データ型をサポートしていると言えますか? これは実際的な質問ではなく、用語に関する質問です。
ところで、ウィキペディアには「はい」とありますが、修正する必要があるかもしれません。