Shaped Data Manipulation

How Croktile handles multi-dimensional data with compile-time shape checking.

Shape Declarations

In Croktile, data types include shape information directly:

C++

f32 [8, 4, 12] shaped_data;

This declares a 3-dimensional tensor of 32-bit floats with shape [8, 4, 12].

Croktile provides powerful shape manipulation with span:

C++

new_shape : shaped_data.span { (0)/2, (1)/4, 1, (2) };

This creates a new shape with tiling factors {2, 4, 1} from the original data and adds an extra dimension.

Use symbolic dimensions for dynamic shapes:

C++

__co__ auto matmul(f32 [M, K] lhs, f32 [N, K] rhs) {
  // M, N, K resolved at runtime
  f32 [M, N] output;
  return output;
}

Symbolic dimensions are automatically checked for consistency at compile time.