Haskell 中的语法糖

MMMIX

原帖由 flw 于 2009-4-9 12:51 发表

我不是用这个方法测试的。
我是
:t (,,,,,,,,,,,,,,,,,,,)这样子的。
发现 GHCi 支持的好多啊。看来都是骗人的。

它又没说自己对这个支持的有多好，谈不上骗。

Magicloud

原帖由 MMMIX 于 2009-4-9 13:58 发表

这个是 Haskell 的类型系统中让我觉得最别扭的地方

元组本来就相当于“高级语法糖”，不是List这样的数据根本结构，没什么丰富的用法是必然的。好像多于X个元素的元组就属于编译器自己的业余爱好了，不受标准支持。
如果有程序需要用到99个元素的元组……那我觉得这人需要闭关修炼了……

[ 本帖最后由 Magicloud 于 2009-4-9 15:09 编辑 ]

drunkedcat

原帖由 Magicloud 于 2009-4-9 15:04 发表

元组本来就相当于“高级语法糖”，不是List这样的数据根本结构，没什么丰富的用法是必然的。好像多于X个元素的元组就属于编译器自己的业余爱好了，不受标准支持。
如果有程序需要用到99个元素的元组……那我 ...

9494

元组，毕竟不如 data 来得方便。
一致的数据，用 list 舒服得多。不一致的，用个 2 3 元组就足够了。

MMMIX

原帖由 Magicloud 于 2009-4-9 15:04 发表

元组本来就相当于“高级语法糖”，不是List这样的数据根本结构，没什么丰富的用法是必然的。好像多于X个元素的元组就属于编译器自己的业余爱好了，不受标准支持。
如果有程序需要用到99个元素的元组……那我 ...

我关心的不是具体的使用，而是对这种结构的支持是否自然简洁，显然 Haskell 不是。

flw

原帖由 MMMIX 于 2009-4-9 16:44 发表

我关心的不是具体的使用，而是对这种结构的支持是否自然简洁，显然 Haskell 不是。

nod

Haskell 在这件事的处理上不够优雅。

顺便说一句，那个 Text.Printf 确实很强！

drunkedcat

原帖由 flw 于 2009-4-9 16:47 发表

nod

Haskell 在这件事的处理上不够优雅。

顺便说一句，那个 Text.Printf 确实很强！

会不会是语言的作者故意这样做的呢？不推荐这样用，所以用一种不优雅的方式，并且只是提供有限的支持。

flw

原帖由 drunkedcat 于 2009-4-9 17:09 发表

会不会是语言的作者故意这样做的呢？

不会

Magicloud

原帖由 flw 于 2009-4-9 17:18 发表

不会

很有可能。对比erlang和haskell的元组支持，我认为haskell是不想使用元组的。
甚至这个特性是被迫（临时）加入的，不过时间长了，也懒得去掉了。

MMMIX

原帖由 drunkedcat 于 2009-4-9 17:09 发表


会不会是语言的作者故意这样做的呢？不推荐这样用，所以用一种不优雅的方式，并且只是提供有限的支持。

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

MMMIX

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

很有可能。对比erlang和haskell的元组支持，我认为haskell是不想使用元组的。
甚至这个特性是被迫（临时）加入的，不过时间长了，也懒得去掉了。

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