История изменений
Исправление alysnix, (текущая версия) :
ерунда. типы и максимально строгая статическая типизация - это и описывает предметную область.
если я не знаю и не вижу что у тебя значит a + b, и как оно вычисляется - это говорит, что я вообще не представляю о чем этот код.
никакие комментарии не могут быть описанием, они неформальны и может устарели вообще, или неверны, или их даже подсунули, чтобы запутать(например внедрить неверный код в систему)
и только классификация обьектов в виде типов, дает возможность говорить о коде все, в смысле предметной области и области определений.
Исходная версия alysnix, :
ерунда. типы и максимально строгая статическая типизация - это и описывает предметную область.
если я не знаю и не вижу у тебя значит a+b,и как оно вычисляется - это говорит, что я вообще не представляю о чем этот код.
никакие комментарии не могут быть описанием, они неформальны и может устарели вообще, или неверны, или их даже подсунули, чтобы запутать(например внедрить неверный код в систему)
и только классификация обьектов в виде типов, дает возможность говорить о коде все, в смысле предметной области и области определений.