[joeatwork]

If I’m reading this correctly, the Frink language has similar features (and also seems darn useful!) https://frinklang.org/

[sharkdp]

I looked at Frink quite a bit and I agree that it looks cool. But as far as I can tell, it does not have a static type system. At least it's not based on physical dimensions.

And it is not open source.