Я читал серию блога блога Эндрю Кеннеди на единицах измерения в F #, и это во многом имеет смысл. Существуют ли какие-либо другие языки с такой системой?
Изменить: Чтобы быть более ясным, я имею в виду гибкие единицы измерительной системы, где вы можете определить свой собственный произвольно.