[KenoFischer]

Julia has explicit parameterization, but will also interprocedurally propagate known field values at compile time if known (which happens a lot more because our compile time is later), even if they weren't explicitly parameterized. Since this is so useful (e.g. as you say for dimensions of nd arrays - particularly in machine learning), there's been some talk of adding explicit mechanisms to control the implicit specialization also.

[alexkcd]

Ah, that's good to know. This sounds exactly like what I'm looking for. Thanks will read up on this in the docs!