On 2024-02-17 23:36, John Barnes wrote:
There are several examples of untagged discriminated types in my book. Many of them have been there since I first wrote it in 1981.
Yes, there are many uses for discriminated record types. The PragmAda Reusable Components (https://github.com/jrcarter/PragmARC) define 12 of them.
-- Jeff Carter "English bed-wetting types." Monty Python & the Holy Grail 15
