Максимальный элемент бинарного дерева

@kos1posha · Регистрация: 13.04.2022

Студворк — интернет-сервис помощи студентам

Бинарное дерево:

Haskell
1
2
data BST a = Nil | BSTNode a (BST a) (BST a)
     deriving Show

Надо реализовать функцию поиска максимального элемента.
Я попытался:

Haskell
1
2
3
4
maxValueBST :: BST a -> Maybe a
maxValueBST Nil = Nothing
maxValueBST (BSTNode m Nil Nil) = m
maxValueBST (BSTNode m l r) = max m (max (maxValueBST l) (maxValueBST r))

Выдает ошибку, но я не могу ее исправить (скорее всего не понимаю как работает тип Maybe, а в методичке сказано, что должен возвращаться он), помогите пожалуйста.

@Bratjuuc · 09.05.2022, 09:15

Maybe это не копия nullable штук: если значение есть, то его нужно завернуть в конструктор Just. Плюс нельзя смешивать обычные значения и Just. И напоследок нам нуужно потребовать, чтоб значения типа a можно было сравнивать на "больше-меньше".

Haskell
1
2
3
4
maxValueBST :: (Ord a) => BST a -> Maybe a
maxValueBST Nil = Nothing
maxValueBST (BSTNode m Nil Nil) = Just m
maxValueBST (BSTNode m l r) = Just m `max` (maxValueBST l `max` maxValueBST r)

@3D Homer · 09.05.2022, 19:52

Поскольку может быть неочевидно: для применения max к значениям типа Maybe a используется объявление instance Ord a => Ord (Maybe a) в стандартной бибиотеке.

@kos1posha · 13.05.2022, 20:43 **[ТС]**

Bratjuuc, понял, учту, запомню. Спасибо за помощь!

Новые блоги и статьи Все статьи Все блоги /
Отправка уведомления на почту при изменении наименования справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере изменения наименования типового справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной. . .	модель ЗдравоСохранения 5. Меньше увольнений- больше дохода! anaschu 24.03.2026 Теперь система здравосохранения уменьшает количество увольнений. 9TO2GP2bpX4 a42b81fb172ffc12ca589c7898261ccb/ https:/ / rutube. ru/ video/ a42b81fb172ffc12ca589c7898261ccb/ Слева синяя линия -. . .	Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .	Контроль уникальности заводского номера - вариант №2 Maks 24.03.2026 В отличие от предыдущего варианта добавлено прерывание циклов, также добавлены новые переменные для сохранения контекста ошибки перед прерыванием цикла: Процедура ПередЗаписью(Отказ, РежимЗаписи,. . .
SDL3 для Desktop (MinGW): Вывод текста со шрифтом TTF с помощью библиотеки SDL3_ttf на Си и C++ 8Observer8 24.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-text-sdl3-c. zip finish-text-sdl3-cpp. zip	Жизнь в неопределённости kumehtar 23.03.2026 Жизнь — это постоянное существование в неопределённости. Например, даже если у тебя есть список дел, невозможно дойти до точки, где всё окончательно завершено и больше ничего не осталось. В принципе,. . .	Модель здравоСохранения: работники работают быстрее после её введения. anaschu 23.03.2026 geJalZw1fLo Корпорация до введения программа здравоохранения имела много невыполненных работниками заданий, после введения программы количество заданий выросло. Но на выплатах по больничным это. . .	Контроль уникальности заводского номера - вариант №1 Maks 23.03.2026 Алгоритм контроля уникальности заводского (или серийного) номера на примере нетипового документа выдачи шин для спецтехники с табличной частью, разработанного в конфигурации КА2. Данные берутся из. . .

@3D Homer $Эксперт по математике/физике$ 5016 / 3628 / 1164 Регистрация: 01.09.2014 Сообщений: 9,792
	09.05.2022, 19:52
	Поскольку может быть неочевидно: для применения max к значениям типа Maybe a используется объявление instance Ord a => Ord (Maybe a) в стандартной бибиотеке. 2

@kos1posha 1 / 1 / 0 Регистрация: 13.04.2022 Сообщений: 13
	13.05.2022, 20:43 [ТС]
	Bratjuuc, понял, учту, запомню. Спасибо за помощь! 0

Максимальный элемент бинарного дерева

Решение