Haskell 中的语法糖

MMMIX

原帖由 izhier 于 2009-4-11 10:39 发表
元组完全可以由以下代码替换吧？

data Tuple a b ... = Tuple a b ...

一般的 n 元组呢？

MMMIX

原帖由 izhier 于 2009-4-11 12:13 发表

应该分别定义吧？
如果用一个语句定义所有的 n 元组现在 haskell 还不可能实现吧？

哦，看看前面我的回复吧

MMMIX

原帖由 Magicloud 于 2009-4-13 09:44 发表

但haskell“热衷”于添加语法特性，所以才没有取消。

这种说法是怎么来的？有什么根据么？

MMMIX

原帖由 Magicloud 于 2009-4-13 11:07 发表

相对其它语言，haskell添加新特性的频率很高了……

拿具体的数据说话。

MMMIX

原帖由 cjacker 于 2009-4-13 16:02 发表


关于是否可以优雅的实现，既然您能认识到语言特性决定一般n元组无法实现，怎么还会质疑是否优雅的问题。

怎么不能质疑？虽然一般 n 元组和 Haskell 98 的类型系统冲突，但这也不意味着没有办法了，例如可以适当的扩展这个类型系统，或者使用一些其他手段，例如动态的代码生成。再说了，就算一时想不到什么更好的解决方案，质疑一下总是可以的。

MMMIX

原帖由 ypyf3000 于 2009-4-13 22:23 发表
你才知道哦，去看一下源代码吧，揭示了一切，

这话没错，但前提是要能看懂源码，有些 Haskell 的代码是不那么好懂的。下面就是 ($) 的源码,

1. 
   
2. infixr 0 $
   
3. ($) :: (a->b) -> a -> b
   
4. f $ x = f x
   

复制代码

这里有谁在第一次看到这个代码而且在没有看注释的情况下就完全理解了这段代码？反正我第一次是没有看明白。

MMMIX

原帖由 cjacker 于 2009-4-13 21:21 发表

主要想说的是，语言特性已经决定了一般n元组无法实现(无法穷举)，那现有的实现也就无所谓优雅不优雅了，

当然有是否优雅的问题了。判断出了时候优雅以后，才是它为什么优雅或者为什么不优雅。如果不优雅，要怎么做才能让它优雅。

因为只能这么实现了，没有别的选择。

总是有别的选择的。

MMMIX

原帖由 Magicloud 于 2009-4-14 13:46 发表

f $ x = f x
我觉得这是最容易懂得了……甚至比 f . x 还容易……

但是，你确定你完全理解它里面隐含的种种意思么？

MMMIX

原帖由 Magicloud 于 2009-4-14 16:21 发表

没什么可隐含的吧，如果我已经完全理解了f x，那f $ x就没有更多需要领会的内容了。

真敢说。。。