good first issue
倉庫指標
- 星標
- (576 顆星)
- PR 合併指標
- (平均合併 11天 14小時) (30 天內合併 1 個 PR)
描述
It would be nice if TR provided a built-in Dictionary type. At its simplest, it would just be (U (HashTable a b) (Listof (Pairof a b)), but vectors are also technically dictionaries.
Does TR's type system allow "specializations" of types? I.e. some way to define a special case for (Dictionary Integer b) that includes vectors?
Technically, dictionaries also include structures that implement gen:dict, but obviously generics don't exist in TR yet.