Rust soundness
Oct. 8th, 2021 11:45 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
amaraoКаждый раз, когда я сталкиваюсь с маленькими "но" в Rust'е, это ощущение тщательной продуманности. Например, простейшие fold-функции для итераторов: sum, min, max, any. Например, что должен вернуть max для пустого списка?
В питоне? Enjoy your ValueError exception.
В Rust'е? Max возвращает Some с результатом. Или None (который вариант от Option, а не абстрактный синглтон None).
В питоне? Enjoy your ValueError exception.
В Rust'е? Max возвращает Some с результатом. Или None (который вариант от Option, а не абстрактный синглтон None).
no subject
Date: 2021-10-08 12:07 pm (UTC)Занятная тема. Вот тут разъясняют, почему можно сумму по-всякому определить.
И тогда мне непонятно, откуда это расту известно, что sum на моноиде определен, а min и max на полугруппе?