search

Toxaris / pts

Interpreter for functional pure type systems.
BSD 3-Clause "New" or "Revised" License
21 stars 7 forks source link

Consider switching environment list to map #80

Closed Blaisorblade closed 9 years ago

Blaisorblade commented 9 years ago

Control.Monad.Environment uses an association list instead of a Map — maybe this could be improved? Profiling to check whether this is a problem would be a first step.

Toxaris commented 9 years ago

The choice between association list and search tree is not trivial. The search tree has faster lookup in general, but the association list has faster insert and more sharing after insert in general and faster lookup for recently bound variables.

Toxaris commented 9 years ago

I'm investigating this.

Toxaris commented 9 years ago

I tried it out, but nothing cool happened. See changes in #82.

Blaisorblade commented 9 years ago

Time to close this — we are happy with the performance we have and maps never seemed to help.