> -- Alexey Veselovsky писал(а):
> Кстати, а можно в хаскеле построить такую систему типов, чтобы скажем у нас Н (ньютон) = кг*м/с^2 ? С соответствующим выводом типов в выражениях....Т.е. работа с размерностями.
Есть такая библиотека:
dimensional: Statically checked physical dimensions
Я как-то баловался, делал что-то подобное, но до такого уровня не дошёл...