foolang
foolang copied to clipboard
member types
A way to express "objects of this type are members of this (constant) set".
Ideally also a way to conveniently express that for sets of one.
Syntax sketching:
Is exactly: 42
Is either: 42 or: 13
Is oneOf: [1,2,3]
Eq to: 42
is 42 -- prefix usage for 'is'