search

joelberkeley / spidr

Accelerated machine learning with dependent types
Apache License 2.0
72 stars 4 forks source link

use `IOArray` in interpreter for linear complexity #378

Closed joelberkeley closed 8 months ago

joelberkeley commented 8 months ago

WAITING FOR CONFIRMATION THAT IOArray IS O(1)

get is O(1) since IArray has "constant access" and is backed by IOArray. We still need to confirm set is O(1)