Haskell中的语法糖

在Wiki里关于语法糖的一些历史介绍&＃xff1a;
语法糖(Syntactic sugar),是由Peter J. Landin(和图灵一样的天才人物&＃xff0c;是他最先发现了Lambda演算&＃xff0c;由此而创立了函数式编程)
创造的一个词语&＃xff0c;它意指那些没有给计算机语言添加新功能&＃xff0c;而只是对人类来说更“甜蜜“的语法。语法糖往往给程序员提供了更实用的
编码方式&＃xff0c;有益于更好的编码风格&＃xff0c;更易读。不过其并没有给语言添加什么新东西。

Wiki里提到&＃xff0c;在C语言里用a[n]表示*(a&＃43;n),用a[n][m]表示*(*(a&＃43;n)&＃43;m)&＃xff0c;也是语法糖。
实际上从面向过程到面向对象也是一种语法糖&＃xff0c;C语言可以通过它的指针、类型转换&＃xff0c;结构实现面向对象的编程风格&＃xff0c;
但是C&＃43;&＃43;更进一步的推广了这种风格&＃xff0c;更好用了。

按照Wiki的理解&＃xff0c;只有计算机硬件指令才不算语法糖&＃xff0c;而其他一切利用编译器、汇编器将代码抽象&＃xff0c;和自然语言更相近的手段都算语法糖。[/color]


现在我们介绍一下 Haskell 中的语法糖&＃xff0c;[color&＃61;Blue]如有错误&＃xff0c;请指正&＃xff0c;改之[/color]
[color&＃61;Red]1.缩进[/color]
Haskell 也像 C 语言一样可以用大括号 &＃39;{}&＃39; 和分号 &＃39;;&＃39; 来构造程序块&＃xff0c;但这样的写法会造成程序难以阅读&＃xff0c;为了解决这个问题&＃xff0c;Haskell 引入了缩进。
注意 Haskell 的缩进不同于 Python 的缩进。在 Python 中&＃xff0c;tab/空格 是语法&＃xff0c;而 Haskell 中 tab/空格 是定义良好的语法糖&＃xff0c;最终会被转换成
括号和分号的程序块的语法。

使用缩进的结构有&＃xff1a;let&＃xff0c;where&＃xff0c;case of&＃xff0c;... ? (其他的就不了解了)。在它们之后的缩进都可以转换为括号和分号的程序块语法。

[color&＃61;Red]2.Section[/color]
Section 最终会转换为 lambda 函数
例&＃xff1a;

(&＃43;2)



&＃61;> /x -> x&＃43;2







(*2)



&＃61;> /x -> x*2





[color&＃61;Red]3.List[/color]

List 的最终转换如下&＃xff1a;

[1, 2, 3, 4] &＃61;> 1:2:3:4:[]



[1..10] &＃61;> enumFromTo 1 10



[1, 3..10] &＃61;> enumFromThenTo 1 3 10



[1..] &＃61;> enumFrom 1



[1, 3..] &＃61;> enumFromThen 1 3

Prelude> :t enumFrom



enumFrom :: (Enum a) &＃61;> a -> [a]



Prelude> :t enumFromTo



enumFromTo :: (Enum a) &＃61;> a -> a -> [a]



Prelude> :t enumFromThen



enumFromThen :: (Enum a) &＃61;> a -> a -> [a]



Prelude> :t enumFromThenTo



enumFromThenTo :: (Enum a) &＃61;> a -> a -> a -> [a]







Prelude> enumFromTo 1 10



[1,2,3,4,5,6,7,8,9,10]



Prelude> enumFromThenTo 1 3 10



[1,3,5,7,9]



Prelude> enumFrom 1



[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20



...



...



15732,15733,15Interrupted.





[color&＃61;Red]4.String[/color]

String 其实也是 List&＃xff0c;之所以把它单独列出来&＃xff0c;是因为 String 和 List 写法不一样&＃xff0c;前者被双引号括住&＃xff0c;而后者被中括号括住

String 的最终转换如下&＃xff1a;

"abcde" &＃61;> &＃39;a&＃39;:&＃39;b&＃39;:&＃39;c&＃39;:&＃39;d&＃39;:&＃39;e&＃39;:[]





[color&＃61;Red]5.List Comprehensions[/color]

List Comprehensions 等同于 map, filter 函数&＃xff0c;但比 map, filter 函数更直观。

List Comprehensions 的最终转换如下&＃xff1a;

[ x | x <- aList , f x] 



&＃61;> 



let ok x &＃61; if f x



then [x] 



else []



in concatMap ok aList

Prelude> :t concatMap



concatMap :: (a -> ) -> [a] -> 







[color&＃61;Red]6.do[/color]
do 也是语法糖&＃xff0c;但现在对 monad 还完全不了解&＃xff0c;就不说了&＃xff0c;如果以后有机会再补上。

[color&＃61;Red]7. infix/prefix[/color]
引用 Magicloud 的原话
1 &＃43; 2 等效于 (&＃43;) 1 2
take 1 [0, 1] 等效于 1 &＃96;take&＃96; [0, 1]
无论是 (&＃43;) 还是 &＃96;take&＃96;&＃xff0c;其目的是代码的美观易读&＃xff0c;对于程序逻辑没有丝毫影响。

[color&＃61;Red]8. Named Fields[/color]

data Configuration &＃61;



Configuration { username :: String,



localhost :: String,



remotehost :: String,



isguest :: Bool,



issuperuser :: Bool,



currentdir :: String,



homedir :: String,



timeconnected :: Integer



}







会转换为&＃xff1a;







data Configuration &＃61;



Configuration String -- user name



String -- local host



String -- remote host



Bool -- is guest?



Bool -- is super user?



String -- current directory



String -- home directory



Integer -- time connected



deriving (Eq, Show)







username :: Configuration -> String



userName (Configuration un _ _ _ _ _ _ _) &＃61; un







localhost :: Configuration -> String



localHost (Configuration _ lh _ _ _ _ _ _) &＃61; lh







remoteHost :: Configuration -> String



remoteHost (Configuration _ _ rh _ _ _ _ _) &＃61; rh







isGuest :: Configuration -> Bool



isGuest (Configuration _ _ _ ig _ _ _ _) &＃61; ig







...

hostData (Configuration {localhost&＃61;lh,remotehost&＃61;rh}) &＃61; (lh,rh)







会转换为&＃xff1a;







hostData (Configuration _ lh rh _ _ _ _ _) &＃61; (lh,rh)

initCFG&＃39; &＃61;



Configuration



{ username&＃61;"nobody",



localhost&＃61;"nowhere",



remotehost&＃61;"nowhere",



isguest&＃61;False,



issuperuser&＃61;False,



currentdir&＃61;"/",



homedir&＃61;"/",



timeconnected&＃61;0 }







会转换为&＃xff1a;







initCFG &＃61; Configuration "nobody" "nowhere" "nowhere" False False "/" "/" 0







[color&＃61;Blue]还有几个没有提到的&＃xff0c;请参阅回帖[/color]

[ 本帖最后由 izhier 于 2009-4-19 14:29 编辑  ]

D:/MoChou>cat ttt.hs



main &＃61; do   print "hello"



print "world"







D:/MoChou>runhaskell ttt.hs



"hello"



"world"







D:/MoChou>


[/font]
上面这段代码中我使用了空格&＃xff0c;而不是 TAB&＃xff0c;如果用 TAB&＃xff0c;而想让这个程序正确工作&＃xff0c;那么就得这么写&＃xff1a;
[font&＃61;新宋体]

main &＃61; doprint "hello"



print "world"


[/font]
这时&＃xff0c;问题出现了&＃xff1a;【你必须将 tab 键的宽度设置为 8 才能正常阅读此代码&＃xff01;】
如果不是 8 而是 4&＃xff0c;就会看到这个效果&＃xff1a;
[font&＃61;新宋体]

main &＃61; do   print "hello"



print "world"


[/font]
而众所周知的是&＃xff0c;TAB 宽度是 8 已经用的人越来越少了&＃xff0c;现在流行的是 4&＃xff0c;
而 Haskell 程序员经常用 2。

综上所述&＃xff1a;Haskell 用户应该之用空格做缩进和对齐。
如果这个程序员正巧还在用 Python&＃xff0c;那么他必须要在 Python 社区&＃xff08;或公司团队中&＃xff09;提倡空格抵制 TAB&＃xff0c;
否则他将不得不面临为这两种语言选择两款不同的编辑器&＃xff0c;或者不同的 profile 才行。

虽然像 vim 或者 emacs 这样的超级编辑器是可以为不同的语言采用不同的设置的&＃xff0c;
但是许多其它的编辑器并不具备这样的功能。

[ 本帖最后由 flw 于 2009-4-9 12:54 编辑  ]

 roy_hu 回复于&＃xff1a;2009-04-09 12:36:14

引用&＃xff1a;原帖由 flw  于 2009-4-9 11:48 发表 [url&＃61;http://bbs2.chinaunix.net/redirect.php?goto&＃61;findpost&pid&＃61;10358126&ptid&＃61;1425290]
还有&＃xff0c;元组也是语法糖。

我一开始看到了二元组、三元组、四元组、N 元组&＃xff0c;
还以为把一堆量用括号括起来、中间用逗号隔开&＃xff0c;这便是元组了呢&＃xff0c;
后来才发现原来不是这样。

二元组是二元组&＃xff0c;三元组是三元组&＃xff0c; ... 

ghc-6.10.1支持的更少&＃xff1a;
[indent]*Main> (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,3
8,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,7
5,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100)

:1:0:                                                                                              
    A 100-tuple is too large for GHC
      (max size is 62)
      Workaround: use nested tuples or define a data type[/indent]
但是ghc-6.10.2的[url&＃61;http://www.haskell.org/ghc/docs/latest/html /users_guide/bugs-and-infelicities.html]user&＃39;s guide里面说 Tuples are currently limited to size 100.

 roy_hu 回复于&＃xff1a;2009-04-09 12:40:35

引用&＃xff1a;原帖由 izhier  于 2009-4-9 11:51 发表 [url&＃61;http://bbs2.chinaunix.net/redirect.php?goto&＃61;findpost&pid&＃61;10358144&ptid&＃61;1425290]
想问一下&＃xff0c;在 List Comprehensions 中
像
[ fm x | x  


翻译成Monad&＃xff1a;
do
  x <- aList
  guard (ff x)
  return $ fm x

foo &＃61; [ fm x | x <- aList , ff x]




变成

foo &＃61; do



x <- aList



if ff x



then return (fm x)



else fail "no message"

嗯&＃xff0c;刚才看了楼上 roy_hu 兄的回复&＃xff0c;
觉得用 guard 比用 if 更合适一些&＃xff0c;
因为列表同时也是 MonadPlus 的实例。

[ 本帖最后由 flw 于 2009-4-9 12:57 编辑  ]

http://www.chinaunix.net/jh/142/1425290.html