Ну, F# интересен уже тем, что там есть понятия единиц измерения (размерности), и это входит в систему типов (опционально, т.е. можно пользоваться а можно нет).

Да, речь идет о тех самых размерностях что используются столь широко в физике, а не о какой-то очередной абстрактной фигне

В OCaml'e этого нет. Более того, я подобного не видел ни в одном другом ЯП.