Datashape

Blaze uses datashape, a data layout language for array programming, as its type system.