Стандарты для использования пользовательских операторов

Question

Я сейчас читаю функциональное программирование реального мира, и в нем кратко упоминаются операторы in-fix как одно из основных преимуществ пользовательских операторов. Существуют ли какие-либо стандарты для использования или отсутствия пользовательских операторов в F #? Я ищу ответы, эквивалентные this.

Для справки, вот цитата, к которой @JohnPalmer имеет в виде из here:

3.8 Operator Определение 

Избегайте определения пользовательского символические операторов в F # -facing библиотечных проектов.

Пользовательские операторы необходимы в некоторых ситуациях и являются весьма полезными нотационными устройствами в пределах большого кода реализации . Для новых пользователей библиотеки функции, называемые , часто проще в использовании. Кроме того, пользовательские символические операторы могут быть трудно документировать, и пользователям затруднительно найти справочную информацию об операторе из-за существующих ограничений в IDE и поисковых системах.

В результате, как правило, лучше всего опубликовать свою функциональность как названные функции и элементы.

Answer 1

операторы пользовательских инфиксные являются хорошая особенность в некоторые ситуации, но когда вы используете их, вы должны быть очень осторожны, чтобы сохранить ваш код читаемым - поэтому рекомендация F руководящих принципов # дизайн применяется наиболее из время. Если бы я снова писал «Функциональное программирование в реальном мире», я был бы немного в восторге от них, потому что их действительно следует использовать осторожно :-).

Тем не менее, есть некоторые библиотеки F #, которые хорошо используют пользовательские операторы, и иногда они работают очень хорошо. Я думаю, что FParsec (библиотека комбинаторов парсеров) - это один случай - хотя, возможно, их слишком много. Другим примером является XML DSL, который использует @=.

В общем, когда вы пишете обычную библиотеку F # F #, вы, вероятно, не хотите их раскрывать. Однако, когда вы пишете доменный язык, пользовательские операторы могут быть полезны.