Haskell 中的语法糖

Magicloud

原帖由 MMMIX 于 2009-4-10 09:40 发表

对元组的支持之所以 ugly, 完全是 Haskell 的强类型系统导致的。

反过来说，一个语言有一个语言的风格，强类型的haskell不“推荐”元组……

Magicloud

原帖由 MMMIX 于 2009-4-10 09:43 发表

Haskell 的每个表达式都需要一个固定的类型，你只要想下一个一般的 n元组（n 不固定）该有什么类型，你就清楚为什么 Haskell 对元组的支持如此 ugly 了

参照c++的模板技术，可知想要实现这个太容易了……

MMMIX

原帖由 Magicloud 于 2009-4-10 09:46 发表

参照c++的模板技术，可知想要实现这个太容易了……

Haskell 不是 C++，你把 C++ 的东西硬往 Haskell 上套就有些想当然了。
C++ 的模板我的印象是动态的生成代码，但是 Haskell 98 是不支持这个的，因此在 Haskell 98 中根本没有办法很容易的支持一般的 n 元组。不过，有个 Haskell 的扩展，叫做 Template Haskell，可能支持这个。

MMMIX

原帖由 Magicloud 于 2009-4-10 09:45 发表

反过来说，一个语言有一个语言的风格，强类型的haskell不“推荐”元组……

玩这种文字游戏一点意思都没有

[ 本帖最后由 MMMIX 于 2009-4-10 10:52 编辑 ]

Magicloud

原帖由 MMMIX 于 2009-4-10 09:53 发表

c++能做到，证明这不是强类型的缺陷。

点“引用”不知怎么点到“编辑”了，Magicloud 你再重新贴一遍吧，sorry

[ 本帖最后由 MMMIX 于 2009-4-10 11:03 编辑 ]

Magicloud

原帖由 MMMIX 于 2009-4-10 09:54 发表

玩这种语言游戏一点意思都没有

理解成语言游戏，证明你没有理解。
c还支持void *呢，你提倡任意的使用吗？

MMMIX

原帖由 Magicloud 于 2009-4-10 10:26 发表

理解成语言游戏，证明你没有理解。

My fault. s/语言游戏/文字游戏/

MMMIX

c++能做到，证明这不是强类型的缺陷。

你确认 C++ 的强类型和 Haskell 的强类型是一回事？

换句话说，c++能够不难看的实现，至少证明这不是不可行的，

我从来没有说过什么是不可行的，我只是说在 Haskell 98 中，不支持一般 n元组是由于它和 Haskell 98 的类型系统冲突（无法给一般 n 元组指定一个固定的类型）。这并不意味着对 Haskell 98 进行适当扩展后，无法支持一般的 n 元组。

而haskell仍然没有做，那从技术上找任何原因都是没有意义的。

Haskell，或者特定到 Haskell 98，从来都没有宣称自己支持所有语言的所有特性。因此 C++ 做到了又怎么样？Haskell 也得一样的做到？

Magicloud

原帖由 MMMIX 于 2009-4-10 11:01 发表
你确认 C++ 的强类型和 Haskell 的强类型是一回事？
我从来没有说过什么是不可行的，我只是说在 Haskell 98 中，不支持一般 n元组是由于它和 Haskell 98 的类型系统冲突（无法给一般 n 元组指定一个固定的类型）。这并不意味着对 Haskell 98 进行适当扩展后，无法支持一般的 n 元组。
Haskell，或者特定到 Haskell 98，从来都没有宣称自己支持所有语言的所有特性。因此 C++ 做到了又怎么样？Haskell 也得一样的做到？

那haskell的系统特别的什么程度以至于没有共性？
我没说你说不可行，我一直的观点就是，可行而没做，某些程度上表明规范制定、实现者的意愿。
而最后一句，全面的看haskell，及其代码贡献者，会知道他们对数学美的追求，haskell不是有任何责任要做到，但他们不会放任一项内容永远难看的存在。

Magicloud

原帖由 Magicloud 于 2009-4-10 10:25 发表


点“引用”不知怎么点到“编辑”了，Magicloud 你再重新贴一遍吧，sorry

……