Static
shape known at compile time
✓ done
Dynamic
shape varies each call
still going…
Compile
Inference