search

fmease / lushui

The reference compiler of the Lushui programming language
Apache License 2.0
7 stars 0 forks source link

Naming of abstract/opaque data types #62

Closed fmease closed 2 years ago

fmease commented 3 years ago

Should we call them abstract or opaque? Should we have @abstract or @opaque?

Take the future concept of coercions into consideration where we might like to have an attribute @transparent or @(representation transparent)

fmease commented 2 years ago

Superceded by #115.