Селектор pairHead

@Artem7693 · Регистрация: 29.11.2017

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

Селектор pairHead e должен выдавать первый элемент пары, если его аргумент — конструктор пары. В
противном случае должно выдаваться сообщение об ошибке: "The expression e is not a pair".
НЕЛЬЗЯ описывать какие-либо ВСПОМОГАТЕЛЬНЫЕ ФУНКЦИИ, за исключением тех, о которых явно
говорится в задании.
Входные данные:

Haskell

1 2	pairHead (Pair (Var e) _) = Head (Var e) pairHead e = error $ "The expression" ++ show e ++ " is not a function"

Проходит данный тест:

Haskell

1	test_pairHead_2 = pairHead Unit == Unit

Но первый тест нет:

Haskell

1	test_pairHead_1 = pairHead (Pair (Var "a") Unit) == Var "a"

В чём причина?(

Tklwegsd · 28.10.2018, 20:13

Контекст отсюда брать?

А так:

Haskell

1 2	pairHead (Pair e _) = e pairHead e = error $ "The expression" ++ show e ++ " is not a pair"

@Catstail · 28.10.2018, 20:15

Странно выглядит второй тест. По идее он должен вызвать ошибку (т.к. аргумент - не пара).

Haskell

pairHead (Pair (Var e) _) = (Var e)
pairHead e = error $ "The expression" ++ (show e) ++ " is not a function"
 
*Main> pairHead (Pair (Var "a") Unit) == Var "a"
True

@Artem7693 · 28.10.2018, 20:24 **[ТС]**

Спасибо)

@vvs79 · 06.11.2019, 11:38

А если задание относится ко второму элементу "Селектор pairTail e должен выдавать второй элемент пары, если его аргумент — конструктор пары. В противном случае должно выдаваться сообщение об ошибке: "The expression e is not a pair"" ?
Если меняешь местами :
pairTail (Pair _ (Var e)) = (Var e)
pairTail e = error $ "The expression" ++ (show e) ++ " is not a pair"
компилирует, но при тесте выдаёт ошибку: "The expressionPair (Var "a") Unit is not a pair".
Что не так ?

@Curry · 06.11.2019, 17:18

Haskell

1 2	pairTail (Pair _ e) = e pairTail e = error $ "The expression" ++ show e ++ " is not a pair"

@vvs79 · 06.11.2019, 21:53

А не "Pair e _" ?

@Curry · 06.11.2019, 22:03

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

А не "Pair e _" ?

нет. Проверили бы сами.

@vvs79 · 06.11.2019, 23:14

А , ну да (что-то я не там посмотрел).

@Artem7693 8 / 6 / 2 Регистрация: 29.11.2017 Сообщений: 206
	28.10.2018, 20:24 [ТС]	4
	Спасибо) 0

@vvs79 1 / 1 / 0 Регистрация: 28.03.2017 Сообщений: 162
	06.11.2019, 11:38	5
	А если задание относится ко второму элементу "Селектор pairTail e должен выдавать второй элемент пары, если его аргумент — конструктор пары. В противном случае должно выдаваться сообщение об ошибке: "The expression e is not a pair"" ? Если меняешь местами : pairTail (Pair _ (Var e)) = (Var e) pairTail e = error $ "The expression" ++ (show e) ++ " is not a pair" компилирует, но при тесте выдаёт ошибку: "The expressionPair (Var "a") Unit is not a pair". Что не так ? 0

@vvs79 1 / 1 / 0 Регистрация: 28.03.2017 Сообщений: 162
	06.11.2019, 21:53	7
	А не "Pair e _" ? 0

@Curry Модератор 5046 / 3275 / 526 Регистрация: 01.06.2013 Сообщений: 6,806 Записей в блоге: 9
	06.11.2019, 22:03	8
	Сообщение от vvs79 А не "Pair e _" ? нет. Проверили бы сами. 0

@vvs79 1 / 1 / 0 Регистрация: 28.03.2017 Сообщений: 162
	06.11.2019, 23:14	9
	А , ну да (что-то я не там посмотрел). 0

Опции темы