search

joelberkeley / spidr

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

Explicit handling of scope in compiler #409

Closed joelberkeley closed 2 months ago

joelberkeley commented 2 months ago

Represent graph as n ** Vect n (m ** Vect m Expr), where each of n is a scope (function), each of m is an Expr, and Exprs are cached in the narrowest valid scope. This might help reason about the problem

joelberkeley commented 2 months ago

not necessarily helpful - requires extra allocations and jumping around in memory