Somebody already referenced F# elsewhere in the thread: https://docs.microsoft.com/en-us/dotnet/fsharp/language-refe.... It will apply unit of measure checks as part of their static type checking.