search

inkytonik / cooma

The Cooma project is investigating secure programming language design based on fine-grained object capabilities.
Mozilla Public License 2.0
3 stars 2 forks source link

Extend row typing #10

Open inkytonik opened 3 years ago

inkytonik commented 3 years ago

Currently we have a limited version of the "Abstracting Extensible Data Types" paper by Morris and McKinna. Once we have type params working properly (issue #4) we would like to move to a more advanced version of row typing and add more record and variant operations.

inkytonik commented 3 years ago

Reopening since this is not going to get addressed in short order with other type system fixes and extensions.