如何在Haskell中部分定义函数签名？

Question

fn :: [a] -> Int
fn = (2 *) . length

fn list = (2 * length list) :: Int

fn list = 2 * length (list :: [Char])

fnSig = undefined :: [Char] -> a
fn | False = fnSig
   | True  = (* 2) . length

fn :: [Char] -> a
fn = (2 *) . length

fn :: [Char] -> _
fn = (2 *) . length

@ganeshsittampalam在下面的一条评论中提出了一个重要的观点。我正在寻找“一个中途之家之间没有类型签名在所有和必须给一个精确的”。所以，我不是在寻找一个基于类型类的答案，我只是想让GHC为我的函数的未指定（或未完全限制）类型填充空白处。

是的，像这样的...

fn list = 2 * length list
  where
    _ = list :: [Char]

...可以工作，但仅限于参数，且函数不是无点的。是否有一种方法可以将这种技术应用于无点函数或返回值？

fn = (2 *) . length
  where
    _ = fn `asTypeOf` (undefined :: [Char] -> a)
    _ = fn `asTypeOf` (undefined :: a -> Int)
    _ = fn `asTypeOf` (undefined :: a -> b)
    _ = fn `asTypeOf` (undefined :: a)

@Rhymoid，如果你也喜欢的话，请把它加到你的答案里。：）

Answer 1

很抱歉自我推销，但恰恰这一特点是博士最近一篇论文的主题。学生Thomas Winant，我自己，Frank Piessens和Tom Schrijvers，最近由Thomas在PADL 2014研讨会上介绍。全文见这里。这是一个在其他一些语言中已经存在的特性，但与Haskell GADTs等特性的交互使它足够有趣，可以计算出细节。

Thomas正在为GHC做一个实现。自论文撰写以来，它有了进一步的改进，但是在GHC中实现“通配符约束”在技术上比我们预期的要难一些。我们期望能够进一步工作，并联系GHC开发人员，以获得它的采用，但这是否会发生可能取决于有多少人愿意在Haskell的功能...

更新14-4-2015：经过Thomas的大量工作以及SPJ和其他GHC人员的输入，部分类型签名已经在GHC 7.10中发布。Thomas Winant写了一篇关于如何使用它们的介绍性博客文章。