Оценка с помощью типов упрощает задачу тому, кто оценивает, поскольку она освобождает человека от ответственности за это оценочное суждение.
Оценка с помощью типов упрощает задачу тому, кто оценивает, поскольку она освобождает человека от ответственности за это оценочное суждение.