Dex: array programming with typed indicesDownload PDF

Sep 20, 2019NeurIPS 2019 Workshop Program Transformations SubmissionReaders: Everyone
  • Keywords: Array programming, functional programming
  • TL;DR: Introducing a functional array processing language
  • Abstract: Array programming is harder than it should be. Major pain points are managing bulk operations on high-rank arrays, and the associated shape and indexing errors. We describe Dex, a functional array processing language in the Haskell/ML family. Dex introduces a lightweight looping construct and a type system that captures common patterns of array shapes. We hope the language ideas we present here can influence the design of existing array programming systems.
3 Replies