Haskell中{ - ## - }的目的

Question

我正在通过Haskell代码看看我如何编写类似的流融合函数，我注意到一个有趣的语法结构，{ - ＃...＃ - }，我没有遇到过; 所以我想知道它是什么以及如何找出它是如何工作的：

-- | /O(n)/ Drop elements that do not satisfy the predicate
filter :: Vector v a => (a -> Bool) -> v a -> v a
{-# INLINE filter #-}
filter f = unstream . inplace (MStream.filter f) . stream

更具体地说，具体线路做什么？

{-# INLINE filter #-}

Answer 1

GHC有一个“pragma”系统，允许您为GHC指定语言外信息。 特别是，他们看起来像

{-# <NAME> <ARGS...> #-}

您将看到的最常见的是语言扩展编译指示，它必须位于文件的顶部，并影响对文件其余部分有效的语言扩展。

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Example where

通常情况下，忽略编译指示不应该影响程序的含义。 对于像INLINE这样的pragma来说，这是大致正确的，因为它们只是提示编译器，无论在哪里调用此函数的主体都应该内联，以便开辟新的优化机会。 Haskell语义为我们提供了关于何时这种内联转换不会改变程序含义的保证，因此编译器选择是否内联对程序的含义没有影响（只要它不违反程序的含义）这些保证的假设）。

LANGUAGE pragma有点不同，因为它们确切地指定了为文件的其余部分写入的语言。 例如，我们通常假设基本语言是Haskell98或Haskell2010 ，而LANGUAGE编译指示添加扩展名，使得前面举例说明的文件的语言是

Haskell2010 + RankNTypes + FlexibleInstances + ScopedTypeVariables

但除了暗示编译器正在编写哪种语言之外，这些编译指示没有其他意义。

---

完整的允许pragma集取决于所使用的编译器。 此处列出了GHC的编译指示 （请注意，此链接适用于版本7.6.3，而注释中的链接适用于7.0.3）。 使用除LANGUAGE之外的编译指示可能是粗略的和特定于平台的，因此请仔细了解它们的用法和含义。

例如，关于图书馆作者是否应该使用INLINE存在很大争议，因为它往往暗示对GHC自己的内联启发式缺乏信心，因此我们应该花费更多的精力来收紧这些而不是用手动INLINE乱丢代码。 但是，如果谨慎使用， INLINE和INLINABLE会对紧密的内环产生深远的影响。

Answer 2

这是一个pragma 。 它基本上是语言标准本身无法表达的东西，但仍然在说与编译器相关的东西。

这些pragma中的一些基本上是可选的，例如提高性能，因此具有类似注释的外观。 在你的例子中， INLINE意味着编译器应该努力不仅仅链接到有问题的函数，而且实际上在它被调用的任何地方“硬编码”它。 这原则上不会改变程序语义，但会对性能和内存使用产生相当大的影响（特别是如果与额外的流融合等技术相结合）。