Функции высшего порядка

@MariaK · Регистрация: 10.03.2013

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

4. В агентстве недвижимости продают квартиры, комнаты и частные дома. Квартиры характеризуются этажом, площадью, и этажностью дома. Комната характеризуется, помимо этого, площадью комнаты (в дополнение к площади всей квартиры). Частные дома характеризуются только площадью. В базе данных хранятся пары значений, первое из которых представляет объект недвижимости, а второе – его цену. Определите тип данных, представляющий информацию о таких объектах недвижимости. Определите след. ф-ии:
2) getByPrice, выбирающая из базы данных те объекты недвижимости, цена которых меньше указанных

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
data Nedv= Flat{square :: Int, lvl :: Int, top ::  Int} 
          | Room      {square :: Int, totalsquare ::  Int} 
          | House     {square :: Int} 
          deriving Show
type Data = (Nedv, Int)
type Database = [Data]
getByPrice :: Int -> Database -> Database
getByPrice = filter . maxprice
type Requirement = Data -> Bool
flat, house, room :: Requirement
flat ((Flat _ _ _), _) = True
flat _                      = False
room ((Room _ _), _) = True
room _               = False
house ((House _), _) = True
house _              = False
minsquare, maxprice, level :: Int -> Requirement
minsquare s = (s <=) . square . fst
maxprice p = (p >= ) . snd
level l d = flat d && (l == lvl (fst d))

Нужно реализовать с помощью функции высшего порядка
Все ли верно? нет ли лишнего? не реализуется программа(

@Catstail · 18.12.2013, 19:36

Ищи, это уже делалось. И, по-моему, не раз.

Добавлено через 8 часов 10 минут
Если "никак", то вот:

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
data Nedv= Flat{square :: Int, lvl :: Int, top ::  Int} 
          | Room      {square :: Int, totalsquare ::  Int} 
          | House     {square :: Int} 
          deriving (Show,Eq)
          
type Data = (Nedv, Int)
type Database = [Data]
 
getByPrice :: Database -> Int -> Database
getByPrice db p = filter (\ (n,pp) -> pp < p) db
 
Main> getByPrice [(House 12,100),(House 13,120)] 110
 
[(House{square=12},100)]

Добавлено через 2 минуты
Если чуть изменить интерфейс программы, то можно чуть сэкономить:

Haskell
1
2
3
4
5
6
7
getByPrice :: Int -> Database  -> Database
getByPrice p = filter (\ (n,pp) -> pp < p)
 
 
Main> getByPrice 110 [(House 12,100),(House 13,120)]
 
[(House{square=12},100)]

Добавлено через 1 минуту

Сообщение от MariaK

нет ли лишнего?

- как видишь, есть...

@MariaK · 18.12.2013, 22:26 **[ТС]**

Спасибо большое!

@MariaK · 25.12.2013, 10:47 **[ТС]**

getByPrice db p = filter (\ (n,pp) -> pp < p) db
Поясните пожалуйста, эту строчку

Добавлено через 32 секунды
getByPrice db p = filter (\ (n,pp) -> pp < p) db

поясните пожалуйста эту строчку

@Catstail · 25.12.2013, 12:05

Haskell
1
getByPrice db p = filter (\ (n,pp) -> pp < p) db

Функция getByPrice принимает два аргумента - базу недвижимости (db) и граничную цену (p). База недвижимости является списком, поэтому для отбора элементов по критерию можно использовать ФВП filter. Функция filter принимает функцию-предикат (возвращающую логическое значение) и список. Действие filter заключается в том, что предикат применяется к каждому элементу списка, если значение предиката True, то элемент попадает в выходной список. В качестве предиката мы используем безымянную функцию, которая берет очередной элемент списка - кортеж вида (объект,цена) и возвращает True, если цена < граничной цены (p).

Таким образом в результате будет создан список объектов недвижимости с ценой, меньшей заданной.

Новые блоги и статьи Все статьи Все блоги /
Киев стоит - украинская песня zorxor 28.01.2026 wfWdiRqdTxc О Господи, Вечный, Ты . . . Я помоги, Бесконечный. . . Я прошу Ты. . . Я погибаю, спаси. . . Я прошу Тебя Вечный. . .	Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .	Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL3_image 8Observer8 27.01.2026 Содержание блога SDL3_image - это библиотека для загрузки и работы с изображениями. Эта пошаговая инструкция покажет, как загрузить и вывести на экран смартфона картинку с альфа-каналом, то есть с. . .	влияние грибов на сукцессию anaschu 26.01.2026 Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .
Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .

@MariaK 3 / 3 / 2 Регистрация: 10.03.2013 Сообщений: 80
	18.12.2013, 22:26 [ТС]
	Спасибо большое! 0

@MariaK 3 / 3 / 2 Регистрация: 10.03.2013 Сообщений: 80
	25.12.2013, 10:47 [ТС]
	getByPrice db p = filter (\ (n,pp) -> pp < p) db Поясните пожалуйста, эту строчку Добавлено через 32 секунды getByPrice db p = filter (\ (n,pp) -> pp < p) db поясните пожалуйста эту строчку 0