Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming
Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming
We present a novel programming language design that attempts to combine the clarity and safety of high-level functional languages with the efficiency and parallelism of low-level numerical languages. We treat arrays as eagerly-memoized functions on typed index sets, allowing abstract function manipulations, such as currying, to work on arrays. In …