search

ghorn / dynobud

your dynamic optimization buddy
GNU Lesser General Public License v3.0
27 stars 5 forks source link

more efficient implementation of vlength #96

Closed ghorn closed 8 years ago

ghorn commented 8 years ago

The current implementation is inefficient because it constructs data, vectorizes it, then counts the number of elements. This was done initially because it's consistent by definition, but it's time to upgrade to an efficient type-level version.

ghorn commented 8 years ago

done