轻舟过 发表于 2012-8-10 22:54 
其实lisp我也了解不多啦，所以可以无视上面我所说的
haskell其实也才看了一点，还不太了解Monad
lisp的有 ...
Haskell的标点符号可以引入很多语法糖…… . 和 $ 这种都算吧……
然后还有Control.Arrow库里有一坨奇怪的标点符号……跟Monad相关的，还没研究……
其它有啥我忘了……
其实我觉得像 (5+) 这种写法 和 参数模式匹配也很爽的……不过貌似不能叫语法糖……
感觉Haskell在语法上面做了不少功夫，让人写程序很舒服……我现在就觉得一个舒服的语言就可以自然的让人写出总分结构的代码来。觉得命令式语言在一个局部都是分总的感觉，先要思考用到哪些变量，然后再去做实际的事，如果以总分的思维来写光标就要跳来跳去；另外一个——感觉C的类型转换的语法也很让人不爽，因为按照正常思维都是先去想变量的名字再去思考是否做类型转换，所以感觉语法应该设定成类型出现在变量后面，这样就非常顺畅。这就是我关于语言的想法。于是发现Haskell在这一点做的不错……一切都是惰性求值所赐……虽然最后结论需要用它写点大工程才能得到……
说得有点乱…………