Почему при определении функции с использованием этих перегруженных операторов не возникает ошибки?

Я читаю «Программирование с помощью стандартного машинного обучения» Колина Майерса, Криса Клака и Эллен Пун. В § 2.4.1 Ограниченные полиморфные функции:

В отличие от операторов = и <>, другие операторы сравнения (>, < и т. д.) перегружены; они не являются ограниченно полиморфными, и поэтому следующее определение неверно:

- fun wrong_ordered (x, y, z)
     = (x < y) andalso (y < z);
Error: overloaded variable "<" cannot be resolved

Эта ошибка возникает из-за того, что SML не знает типы x, y и z.

Когда я ввел это определение в SML/NJ 110.99.2 и Poly/ML 5.9, я не получил никакого сообщения об ошибке. Определение удается:

- fun wrong_ordered (x, y, z) = (x < y) andalso (y < z);
val wrong_ordered = fn : int * int * int -> bool

Почему я не получил ошибку, о которой говорили авторы?

Эта книга на четыре года старше SML '97 и основана на более ранней версии 1990 года.

molbdnilo 05.10.2022 07:12

@molbdnilo Что изменил SML '97, чтобы определение функции, приведенное выше, стало действительным?

Flux 05.10.2022 09:17

Посмотрите ответ Андреаса Россберга, возможно, самого знающего SML человека, которого вы найдете на этом сайте.

molbdnilo 05.10.2022 15:33
Стоит ли изучать PHP в 2023-2024 годах?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
2
3
91
2
Перейти к ответу Данный вопрос помечен как решенный

Ответы 2

За исключением указанных типов, ваш компилятор определяет, что wrong_ordered принимает три значения int.

Сравните это с OCaml, в котором есть полиморфное сравнение.

# let wrong_ordered x y z = x < y && y < z;;
val wrong_ordered : 'a -> 'a -> 'a -> bool = <fun>

Если вы укажете хотя бы один тип параметра для wrong_ordered, другие типы будут выведены аналогичным образом.

fun wrong_ordered (x: real, y, z) = (x < y) andalso (y < z);

Тип:

val wrong_ordered = fn: real * real * real → bool;

Имейте в виду, что книга, на которую вы ссылаетесь, была опубликована 29 лет назад.

Ответ принят как подходящий

Книга предшествует SML'97. В этой языковой версии было улучшено разрешение типов для перегруженных операторов. В частности, перегруженные типы теперь по умолчанию имеют значение int, когда они не могут быть разрешены контекстом.

«улучшено разрешение типов для перегруженных операторов» — что это значит? Как «уточнение» вызывает ошибку в версиях SML до SML '97?

Flux 06.10.2022 22:51

@Flux, в SML'90, когда контекст программы не предоставляет информации для разрешения перегруженного типа, это была просто ошибка; тогда как SML'97 улучшил правила, введя концепцию типа по умолчанию, к которому он возвращается в этом случае. SML'97 также уточнил, насколько велик контекст программы, который рассматривается до того, как сработает значение по умолчанию (самое маленькое включающее объявление на уровне модуля, хотя это все еще довольно нечетко).

Andreas Rossberg 07.10.2022 07:38

Другие вопросы по теме