chharvey / counterpoint

A robust programming language.

GNU Affero General Public License v3.0

2 stars 0 forks source link

Collections — Hashes #78

Closed chharvey closed 2 years ago

chharvey commented 3 years ago

Features

[x] new generic type syntax: Hash.<T>
[x] new explicit type syntax [:T]
[x] new constructor syntax: Hash.<T>([x= a, y= b]), takes an optional record arg
- allows empty hash
no literal syntax

TODO

[x] type syntaxes & decoration
[x] constructor syntax & decoration
[x] new type: Hash
[x] Subtype algo
[x] Equality algo
[x] TypeOf algo for constructor expressions
[x] TypeOf algo for prop access
[x] Assess algo for constructor expressions
[x] Assess algo for prop access