I always go back to the reference https://gmpreussner.com/research/dimensional-analysis-in-programming-languages https://gmpreussner.com/research/dimensional-an

I always go back to the reference https://gmpreussner.com/research/dimensional-analysis-in-programming-languages https://gmpreussner.com/research/dimensional-analysis-in-pro... for programming language support. It's updated from time to time, and incorporated the work done on Ada in the 2010s. Good read.