shape-safety topic

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

breandan

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

tribbloid

N-dimensional / multi-dimensional arrays (tensors) in Scala 3. Think NumPy ndarray / PyTorch Tensor but type-safe over shapes, array/axis labels & numeric data types

SciScala