Вопрос по москвину - не понимаю вот такого вопроса похоже Сколько

Question

Вопрос по москвину - не понимаю вот такого вопроса похоже Сколько

разных всегда завершающихся функций с типом a -> a -> b -> a -> a можно реализовать?

Две функции одинаковой арности считаются разными, если существует набор значений их аргументов, на котором они дают разные результирующие значения.

Введите численный ответ

то есть я вижу 4 аргумента, 3 из них одного типа один другого, возращается первый тип, с учетом что напримедаже для функции Double -> Double существует множество реализаций, не очень понимаю ответ на такой вопрос

#haskell #programming #russian

0

15.05.2024

11 ответов

61 просмотр

Fedor Автор вопроса

Степан
Тип задан как a, то есть абсолютно произвольный

ну да, это скорее уведичивает кол-во функций, снимая ограничения....

0

7 месяцев назад

kei

f a _ _ _ = a g _ b _ _ = b h _ _ _ d = d а так? (сам Москвина не проходил, так что может и неверно понял вопрос)

0

7 месяцев назад

Cheese Syrowiecki

для функции Double -> Double существует множество реализаций, потому что у тебя есть информация о том, что может быть внутри Double, как его можно разобрать и собрать. для общего случая a -> a, когда ты должен работать не только с Double, но и Triple, например, у тебя тако информации нет, не можешь этим пользоваться

0

7 месяцев назад

Cheese Syrowiecki

Fedor
ну да, это скорее уведичивает кол-во функций, сним...

нет, это уменьшает количество, снимая возможности

0

7 месяцев назад

Fedor Автор вопроса

Cheese Syrowiecki
для функции Double -> Double существует множество ...

понял... Тогда по сути я могу вернуть одно из трех входных значений а, и собственно все

0

7 месяцев назад