Ask HN: Which languages support numeric type parameters?

With the advent of deep learning, the problem of ensuring matrix dimensions match became pretty common. The only language I am aware about that does it is C++.

So I am curious, which other languages already have support for this feature at the compile or lint time?