tf-dottyShape-safe TensorFlow in Dotty
Compile-time errors for tf.reshape
Compile-time errors for tf.reshape
When reshaping a tensor, the output tensor must have the same number of elements as the input tensor. tf-dotty can check that this is the case at compile-time
Compile-time errors for reduction operations
Compile-time errors for reduction operations
TensorFlow has a series of reduction operations, like tf.cumprod, tf.reduce_mean or tf.reduce_variance, with which you can reduce along an axis. However, it is often confusing what the resulting tensor shape will be; tf-dotty infers the resulting shape at compile-time, and reports an error if it does not conform to the expected shape
