Параметрический полиморфизм

@azorge · Регистрация: 12.10.2015

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

Пусть имеется параметрически полиморфная функция foo :: a -> a -> a.
Нужно передать 4 аргумента так, чтобы получившееся выражение
foo arg1 arg2 arg3 arg4 имело бы тип Bool.

Haskell
1
2
3
4
5
-- функция foo :: a -> a -> a уже определена в вызывающем коде
arg1 = undefined
arg2 = undefined
arg3 = undefined
arg4 = undefined

@Curry · 27.03.2016, 13:42

Признаюсь, не вполне понял что требуется. Если сигнатуры подобрать, то

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
foo :: a -> a -> a
foo = undefined
 
arg1,arg2,arg3,arg4 :: a -> a -> Bool
 
arg1 = undefined
arg2 = undefined
arg3 = undefined
arg4 = undefined
 
test:: Bool
test = foo arg1 arg2 arg3 arg4
 
main :: IO ()
main = putStrLn "ok"

@azorge · 27.03.2016, 13:53 **[ТС]**

Нужно определить аргументы, чтобы выражение

Haskell
1
foo arg1 arg2 arg3 arg4

было типа bool

@Curry · 27.03.2016, 13:59

azorge, типы arg1,arg2,arg3,arg4 определить? Я это и сделал, см. строку 4. Вообще то достаточно определить для arg1, но тогда будут предупреждения (если компилируется с -Wall).

@azorge · 27.03.2016, 14:06 **[ТС]**

Run time error:
main: Prelude.undefined

@vladimirsvsv77 · 27.03.2016, 14:13

Haskell
1
2
3
4
5
6
f:: a -> a -> Bool
f x y = True
arg1 = f
arg2 = f
arg3 = f
arg4 = f

@Curry · 27.03.2016, 14:14

azorge, я не знаю с помощью чего и как Вы компилируете (или интерпретируете).
http://ideone.com/WwT1Ym

Tklwegsd · 27.03.2016, 14:14

azorge, Определите функции arg1, arg2, arg3, arg4.
В предложенном коде они не определены.

@vladimirsvsv77 · 27.03.2016, 14:21

Помогло?

@beyondbirthday · 27.03.2016, 14:37

vladimirsvsv77, мне помогло, спасибо)

Новые блоги и статьи Все статьи Все блоги /
Отправка уведомления на почту при изменении наименования справочника 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. Данные берутся из. . .

@Curry Модератор 5158 / 3487 / 536 Регистрация: 01.06.2013 Сообщений: 7,567 Записей в блоге: 9
	27.03.2016, 13:59
	azorge, типы arg1,arg2,arg3,arg4 определить? Я это и сделал, см. строку 4. Вообще то достаточно определить для arg1, но тогда будут предупреждения (если компилируется с -Wall). 1

@azorge 1 / 1 / 0 Регистрация: 12.10.2015 Сообщений: 23
	27.03.2016, 14:06 [ТС]
	Run time error: main: Prelude.undefined 0

@Curry Модератор 5158 / 3487 / 536 Регистрация: 01.06.2013 Сообщений: 7,567 Записей в блоге: 9
	27.03.2016, 14:14
	azorge, я не знаю с помощью чего и как Вы компилируете (или интерпретируете). http://ideone.com/WwT1Ym 2

Tklwegsd 845 / 608 / 211 Регистрация: 24.07.2013 Сообщений: 2,102
	27.03.2016, 14:14
	azorge, Определите функции arg1, arg2, arg3, arg4. В предложенном коде они не определены. 0

@vladimirsvsv77 2 / 0 / 0 Регистрация: 27.03.2016 Сообщений: 2
	27.03.2016, 14:21
	Помогло? 0

@beyondbirthday 0 / 0 / 1 Регистрация: 19.10.2015 Сообщений: 5
	27.03.2016, 14:37
	vladimirsvsv77, мне помогло, спасибо) 0