issues
search
chharvey
/
counterpoint
A robust programming language.
GNU Affero General Public License v3.0
2
stars
0
forks
source link
Collections — Lists
#77
Closed
chharvey
closed
2 years ago
chharvey
commented
3 years ago
Features
[x] new generic type syntax:
List.<T>
[x] new explicit type syntax
T[]
[x] new constructor syntax:
List.<T>([a, b, c])
, takes an optional tuple arg
allows empty list
no literal syntax
TODO
[x] type syntaxes & decoration
[x] constructor syntax & decoration
[x] new type:
List
[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
Features
List.<T>
T[]
List.<T>([a, b, c])
, takes an optional tuple argTODO
List