Haskell 局部函数的类型申明问题

boilplate

出自 RealWorldHaskell 一练习题: Chapter 4, 97页， 第7题

原题是用 foldr 写 takeWhile。  假如我这样写（初写haskell, 代码不如C写来漂亮，请匆追究）

1. 
   
2. takeWhile_fold :: (a -> Bool) -> [a] -> [a]
   
3. takeWhile_fold fun xs = foldr step [] xs
   
4.                where
   
5.                  --step :: a -> [a] -> [a]  -- ????
   
6.                  step x xs | fun x = x:xs
   
7.                            | otherwise = []
   

复制代码

若要给 step 加个类型申明， 正如注释的那样，该如何写?

boilplate

在我的vi里看代码是对齐的，没用tab,我把tab键map成和上一行的最近非空白字符对齐,贴上来就不知怎么最后一行indent乱掉了

retuor

需要使用扩展

{-# OPTIONS -XPatternSignatures #-}
{-# OPTIONS -fglasgow-exts #-}

takeWhile_fold :: (a -> Bool) -> [a] -> [a]
takeWhile_fold (fun::a->Bool) xs= foldr step [] xs
               where step::a->[a]->[a]
                     step x xs | fun x = x:xs
                                   | otherwise = []

flw

原帖由 boilplate 于 2009-11-6 05:04 发表
在我的vi里看代码是对齐的，没用tab,我把tab键map成和上一行的最近非空白字符对齐,贴上来就不知怎么最后一行indent乱掉了

这是因为论坛恶心的设置，代码不是等宽字体造成的。
你用

1. [font=新宋体][/font]

复制代码

把你的代码括起来就好了。

boilplate

原帖由 retuor 于 2009-11-6 11:31 发表
需要使用扩展

谢

我看的每个教材上都说“最好把类型申明写上”，我做练习的时候也喜欢这样, 便于熟悉这些陌生的语言。

这是编译器的 pragma 吗?  能否详细解释一下或给个链接

retuor

是的。

看看这个连接是否合用？

http://www.haskell.org/ghc/docs/ ... _guide/pragmas.html

retuor

试一下字体

Courier

1. 
   
2. takeWhile_fold :: (a -> Bool) -> [a] -> [a]
   
3. takeWhile_fold fun xs = foldr step [] xs
   
4.                where
   
5.                  --step :: a -> [a] -> [a]  -- ????
   
6.                  step x xs | fun x = x:xs
   
7.                            | otherwise = []
   

复制代码

新宋

1. 
   
2. takeWhile_fold :: (a -> Bool) -> [a] -> [a]
   
3. takeWhile_fold fun xs = foldr step [] xs
   
4.                where
   
5.                  --step :: a -> [a] -> [a]  -- ????
   
6.                  step x xs | fun x = x:xs
   
7.                            | otherwise = []
   

复制代码

monospace

1. 
   
2. takeWhile_fold :: (a -> Bool) -> [a] -> [a]
   
3. takeWhile_fold fun xs = foldr step [] xs
   
4.                where
   
5.                  --step :: a -> [a] -> [a]  -- ????
   
6.                  step x xs | fun x = x:xs
   
7.                            | otherwise = []
   

复制代码

[ 本帖最后由 retuor 于 2009-11-6 21:08 编辑 ]

boilplate

原帖由 retuor 于 2009-11-6 21:02 发表
试一下字体

Courier



takeWhile_fold :: (a -> Bool) -> [a] -> [a]
takeWhile_fold fun xs = foldr step [] xs
               where
                 --step :: a -> [a] -> [a]  -- ????
     ...

呵呵，我这里新宋体也不行 只有monospace显示对的

boilplate

原帖由 retuor 于 2009-11-6 20:32 发表
是的。

看看这个连接是否合用？

http://www.haskell.org/ghc/docs/ ... _guide/pragmas.html

不喜欢在程序里加pragma , 以后还是不写类型申明了

boilplate

原帖由 flw 于 2009-11-6 13:06 发表

这是因为论坛恶心的设置，代码不是等宽字体造成的。
你用  把你的代码括起来就好了。

平时不太上论坛，原来认为，众多论坛上 \[code\] 的作用就是把代码用合适的字体，语法加色的显示出来.

[ 本帖最后由 boilplate 于 2009-11-7 00:50 编辑 ]