>ghci> succ 9 + max 5 4 + 1
>16
>ghci> (succ 9) + (max 5 4) + 1
>16
Однако если мы хотим получить значение, следующее за произведением чисел 9 и 10, мы не можем написать >succ 9 * 10, потому что это даст значение, следующее за 9 (т. е. 10), умноженное на 10, т. е. 100. Следует написать >succ (9 * 10), чтобы получить 91.
Если функция принимает ровно два параметра, мы также можем вызвать её в инфиксной форме, заключив её имя в обратные апострофы. Например, функция >div принимает два целых числа и выполняет их целочисленное деление:
>ghci> div 92 10
>9
Но если мы вызываем её таким образом, то может возникнуть неразбериха с тем, какое из чисел делимое, а какое делитель. Поэтому можно вызвать функцию в инфиксной форме, что, как оказывается, гораздо понятнее[2]:
>ghci> 92 `div` 10
>9
Многие люди, перешедшие на Haskell с императивных языков, придерживаются мнения, что применение функции должно обозначаться скобками. Например, в языке С используются скобки для вызова функций вроде >foo(), >bar(1) или >baz(3, ха-ха). Однако, как мы уже отмечали, для применения функций в Haskell предусмотрены пробелы. Поэтому вызов соответствующих функций производится следующим образом: >foo, >bar 1 и >baz 3 ха-ха. Так что если вы увидите выражение вроде >bar (bar 3), это не значит, что >bar вызывается с параметрами >bar и >3. Это значит, что мы сначала вызываем функцию >bar с параметром >3, чтобы получить некоторое число, а затем опять вызываем >bar с этим числом в качестве параметра. В языке С это выглядело бы так: “>bar(bar(3))”.
Функции: первые шаги
Определяются функции точно так же, как и вызываются. За именем функции следуют параметры[3], разделённые пробелами. Но при определении функции есть ещё символ >=, а за ним – описание того, что функция делает. В качестве примера напишем простую функцию, принимающую число и умножающую его на 2. Откройте свой любимый текстовый редактор и наберите в нём:
>doubleMe x = x + x
Сохраните этот файл, например, под именем baby.hs. Затем перейдите в каталог, в котором вы его сохранили, и запустите оттуда GHCi. В GHCi выполните команду >:l baby. Теперь наш сценарий загружен, и можно поупражняться c функцией, которую мы определили:
>ghci> :l baby
>[1 of 1] Compiling Main ( baby.hs, interpreted )
>Ok, modules loaded: Main.
>ghci> doubleMe 9
>18
>ghci> doubleMe 8.3
>16.6
Поскольку операция >+ применима как к целым числам, так и к числам с плавающей точкой (на самом деле – ко всему, что может быть воспринято как число), наша функция одинаково хорошо работает с любыми числами. А теперь давайте напишем функцию, которая принимает два числа, умножает каждое на два и складывает их друг с другом. Допишите следующий код в файл baby.hs:
>doubleUs x y = x*2 + y*2
ПРИМЕЧАНИЕ. Функции в языке Haskell могут быть определены в любом порядке. Поэтому совершенно неважно, в какой последовательности приведены функции в файле baby.hs.
Теперь сохраните файл и введите >:l baby в GHCi, чтобы загрузить новую функцию. Результаты вполне предсказуемы:
>ghci> doubleUs 4 9
>26
>ghci> doubleUs 2.3 34.2
>73.0
>ghci> doubleUs 28 88 + doubleMe 123