интересное мнение людей, какое бы определение sum им было бы удобнее, если бы лишний 0 в конце имел бы значение (например когда это Num для AST, и + 0 в конце выдаст аст с + 0 в конце)
Потому что я хочу, чтобы функция sum свернула список значений множества, на котором определена операция + и нейтральный элемент. Это все что я хочу) как она это сделает, мне неинтересно)
Потому что я хочу, чтобы функция sum свернула список значений множества, на котором определена операция + и нейтральный элемент. Это все что я хочу) как она это сделает, мне неинтересно)
ну, я в опросе явно задал условие "если бы это было важно"
интересное мнение людей, какое бы определение sum им было бы удобнее, если бы лишний 0 в конце имел бы значение (например когда это Num для AST, и + 0 в конце выдаст аст с + 0 в конце)