В чем разница между $(долларом) и $! (восклицательный знак доллара)

Может ли кто-нибудь объяснить разницу в Haskell между операторами ($) и ($!) (восклицательный знак доллара и знак восклицания доллара)?

Я пока не видел использования $! в любом месте, но, просматривая ссылку Haskell , я заметил ее существование и что он имеет то же самое определение, что и $. При попытке некоторых простых инструкций в интерпретаторе Haskell ( GHCi) я не мог найти никакой разницы, и я не мог найти никакой ссылки на оператора в верхних перечисленных руководствах при поиске haskell tutorial.

Итак, просто из любопытства, какая разница, если вообще?

Ответ 1

($!) - это строгое приложение-функция. То есть, он оценивает аргумент перед оценкой функции.

Это противоречит нормальному ленивому приложению функции в Haskell, например. f x или f $ x, которые сначала начинают оценивать функцию f, и только вычисляют аргумент x, если это необходимо.

Например, succ (1 + 2) задерживает добавление 1 + 2, создавая thunk, и начнет сначала оценивать succ. Только если требуется аргумент succ, будет оценен 1 + 2.

Однако, если вы точно знаете, что аргумент функции всегда будет необходим, вы можете использовать ($!), который сначала оценит аргумент в форме слабой головы, а затем введите функцию. Таким образом, вы не создаете целую кучу толчков, и это может быть более эффективным. В этом примере succ $! 1 + 2 сначала вычислит 3, а затем введите функцию succ.

Обратите внимание, что не всегда безопасно просто заменять приложение обычной функции строгим приложением. Например:

ghci> const 1 (error "noo!")
1
ghci> const 1 $! (error "noo!")
*** Exception: noo!

Ответ 2

Смотрите функцию seq, которая заставляет оценивать значение. $! определяется в терминах seq.

Это - сообщение в блоге, которое показывает некоторые нюансы его использования.