24 Jun
2020
24 Jun
'20
7:22 p.m.
On 24/06/20 11:26 am, Guido van Rossum wrote:
A design pattern where a group of record-like classes is combined into a union is popular in other languages that support pattern matching and is known under a name of algebraic data types [2]_ or ADTs.
Whoo, that's confusing! I read "ADT" as "Abstract Data Type" and totally missed that you were using it for something different.
I think it would be better to just call them "algebraic types" (which is the term I learned) and not use an acronym.
--
Greg