Я прочитал книгу, которая использует инфикс, infixr, и infixl в примерах программ. Я задаюсь вопросом, каковы различия. Я предполагаю, что infixr выполняет операцию справа налево, и наоборот.
Да, r / l указывает на ассоциативность. Без тестирования я бы предположил, что инфикс
имеет нормальную левую ассоциативность.
infix
определяет оператор как лево-ассоциативный, infixr
- как право-ассоциативный. infixl
не существует.
Это зависит от реализации. Стандарт SML '97 немного отличается от SML / NJ и Mlton. У каждого из них немного разное поведение с точки зрения правил ассоциативности и способа заключения выражений в скобки в зависимости от приоритета (стандарт немного строже, чем реализации).