> -- Alexey Veselovsky писал(а):
> Кстати, а можно в хаскеле построить такую систему типов, чтобы скажем у нас Н (ньютон) = кг*м/с^2 ? С соответствующим выводом типов в выражениях.

Такое даже на C++ можноА учитывая то, что хаскель это правильный C++, то и на хаскеле можно