Replicate' n x при n < 0 не работает

@no swear · Регистрация: 01.07.2016

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

Читаю Липовача и там есть пример с функцией replicate' n x которая возвращает список из x элементов повторяющихся n раз
Пишу прям как в книге и не получается запустить при n < 0.

Haskell

replicate' :: Int -> a -> [a]
replicate' n x
    | n <= 0 = []
    | otherwise = x : replicate' (n - 1) x

Вот что говорит:

Haskell

1	replicate' -1 3

HTML5

<interactive>:127:1: error:
    • Non type-variable argument
        in the constraint: Num (Int -> a -> [a])
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        it :: forall a t.
              (Num (Int -> a -> [a]), Num (t -> Int -> a -> [a]), Num t) =>
              Int -> a -> [a]

XRuZzz · 20.01.2019, 14:58

Нужно (-1) в скобочки брать.
Иначе компилятор не сможет отличить от
replicate' - 1 3
То есть replicate' применяется к функции (-).

В других языках функции принимают аргументы в скобочках, поэтому такой проблемы нет:
replicate(-1, 3)

@Curry · 20.01.2019, 16:06

К слову сказать, не припомню ни одного учебника по Haskell где бы этому моменту - записи отрицательного числового литерала как аргумента функции, уделялось бы своевременное внимание.

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

поэтому такой проблемы нет

Тоже мне проблема. Зато запятая появляется. И, вообще, ML-овский синтаксис удобнее для частичного применения.

@Catstail · 20.01.2019, 16:15

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

К слову сказать, не припомню ни одного учебника по Haskell где бы этому моменту - записи отрицательного числового литерала как аргумента функции, уделялось бы своевременное внимание.

- как раз М.Липовача это подчеркивает

@Curry · 20.01.2019, 16:19

FAQ по языку Haskell

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

как раз М.Липовача это подчеркивает

Где именно? Не заметил.

@Catstail · 20.01.2019, 17:24

Вот картинка. Правда, пример немного не о том, но совет абсолютно верен:

@Curry · 20.01.2019, 18:30

Catstail, да, не заметил
http://learnyouahaskell.com/st... ady-set-go

@no swear · 20.01.2019, 20:09 **[ТС]**

Спасибо

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

Вот картинка.

В самом начале это рассказывается но почему то подумал что это применяется тока в арифметике а оказывается и при передаче аргументов в функцию тоже так надо писать (-1)

@Catstail · 20.01.2019, 20:35

no swear, причем, это не прихоть. Выше XRuZzz все четко объяснил.

Replicate' n x при n < 0 не работает

Решение

Решение

XRuZzz Антикодер 1804 / 869 / 48 Регистрация: 15.09.2012 Сообщений: 3,081
	20.01.2019, 14:58	2
	Сообщение было отмечено no swear как решение Решение Нужно (-1) в скобочки брать. Иначе компилятор не сможет отличить от replicate' - 1 3 То есть replicate' применяется к функции (-). В других языках функции принимают аргументы в скобочках, поэтому такой проблемы нет: replicate(-1, 3) 3

@Curry Модератор 5046 / 3275 / 526 Регистрация: 01.06.2013 Сообщений: 6,802 Записей в блоге: 9
	20.01.2019, 16:06	3
	К слову сказать, не припомню ни одного учебника по Haskell где бы этому моменту - записи отрицательного числового литерала как аргумента функции, уделялось бы своевременное внимание. Сообщение от XRuZzz поэтому такой проблемы нет Тоже мне проблема. Зато запятая появляется. И, вообще, ML-овский синтаксис удобнее для частичного применения. 1

@Catstail Модератор 36578 / 20308 / 4218 Регистрация: 12.02.2012 Сообщений: 33,605 Записей в блоге: 13
	20.01.2019, 16:15	4
	Сообщение от Curry К слову сказать, не припомню ни одного учебника по Haskell где бы этому моменту - записи отрицательного числового литерала как аргумента функции, уделялось бы своевременное внимание. - как раз М.Липовача это подчеркивает 1

@Curry Модератор 5046 / 3275 / 526 Регистрация: 01.06.2013 Сообщений: 6,802 Записей в блоге: 9
	20.01.2019, 16:19	5
	FAQ по языку Haskell Сообщение от Catstail как раз М.Липовача это подчеркивает Где именно? Не заметил. 1

@Catstail Модератор 36578 / 20308 / 4218 Регистрация: 12.02.2012 Сообщений: 33,605 Записей в блоге: 13
	20.01.2019, 17:24	6
	Сообщение было отмечено no swear как решение Решение Вот картинка. Правда, пример немного не о том, но совет абсолютно верен: Миниатюры 3

@Curry Модератор 5046 / 3275 / 526 Регистрация: 01.06.2013 Сообщений: 6,802 Записей в блоге: 9
	20.01.2019, 18:30	7
	Catstail, да, не заметил http://learnyouahaskell.com/st... ady-set-go 3

@no swear 192 / 166 / 82 Регистрация: 01.07.2016 Сообщений: 943
	20.01.2019, 20:09 [ТС]	8
	Спасибо Сообщение от Catstail Вот картинка. В самом начале это рассказывается но почему то подумал что это применяется тока в арифметике а оказывается и при передаче аргументов в функцию тоже так надо писать (-1) 0

@Catstail Модератор 36578 / 20308 / 4218 Регистрация: 12.02.2012 Сообщений: 33,605 Записей в блоге: 13
	20.01.2019, 20:35	9
	no swear, причем, это не прихоть. Выше XRuZzz все четко объяснил. 1

Опции темы