lens icon indicating copy to clipboard operation
lens copied to clipboard

Published 20 hours ago • verified publisher icon jackfirth

time focus-based version versus view-set-based version of list-ref-lens

Open AlexKnauth opened this issue 9 years ago • 3 comments

AlexKnauth avatar Sep 13 '15 01:09 AlexKnauth

See https://github.com/jackfirth/lens/pull/30#issuecomment-118681816 https://github.com/jackfirth/lens/pull/30#issuecomment-118690668 I also understand that this is just one example, and one that I specifically thought of doing "computation-sharing" with, and that the two different representations have their own strengths and weaknesses. https://github.com/jackfirth/lens/pull/30#issuecomment-118692672 The generic interface allows them to be directly compared in different situations though. (:())

AlexKnauth avatar Sep 13 '15 01:09 AlexKnauth

The times are here: https://github.com/jackfirth/lens/pull/217/files#diff-e6bd831b8e39bf7ffa6ccd66dbe15b33R18

AlexKnauth avatar Sep 13 '15 02:09 AlexKnauth

It'd be really nice if we had a benchmarking suite and maybe some sort of Coveralls-like CI service for performance reports.

jackfirth avatar Sep 27 '15 05:09 jackfirth