I recently had some murky thoughts on my ideal Matlab replacement, and it would have a feature like this. It would  be huge for array-oriented programming:<p><pre><code>    func train_model(X: [n d], y: [n 1])
</code></pre>
So many lines of code are spent verifying that the sizes of two function arguments are compatible.