search

antitypical / TesseractCore

Tesseract’s evaluation and type system.
MIT License
30 stars 1 forks source link

Graph nodes can be of arbitrary CollectionType #74

Closed robrix closed 9 years ago

robrix commented 9 years ago

Parameterize Graph by C: CollectionType instead of T. Replace Identifier with C.Index. Replace nodes: [Identifier: T] with nodes: C.

robrix commented 9 years ago

The lack of higher-rank types makes map a bit obnoxious to express with this, but that’s livable.