Haskell与Python的类型系统比较

Question

我在找一些例子，想看看在Python中，因为它是动态类型的，编程会变得更简单的情况。

我想把这个和Haskell的类型系统做个比较，因为Haskell的静态类型不像C#或Java那样会造成麻烦。我能像在Python中那样在Haskell中编程，而不被静态类型限制吗？

顺便说一下，我是Python的用户，也稍微玩过一点机器学习和Haskell……希望这样说清楚了。

Answer 1

正如Chris所说，这里有一个客观的问题（动态类型语言能做的事情，静态类型语言做不到的是什么？）和一个主观的问题（我能在不受静态类型限制的情况下使用Haskell吗）。所以你会看到大多数人给出的答案都是主观的，因为第一个问题其实没那么有趣。

对我来说，最大的障碍是Haskell的IO类型，因为我需要停下来思考哪些代码涉及输入输出，哪些代码不涉及，并且要明确地在这两者之间传递信息。其他的部分其实都挺简单的。如果你经常写

if someCondition:
    return 1
else:
    return "other"

那么你就是在给自己制造麻烦，Python并不会阻止你这样做。而Haskell会，这就是它们之间的主要区别。唯一的例外是这种情况在Python中比较常见：

if someErrorCondition:
    return None
else:
    return NewItem(Success)

在Haskell中你不能这样做，因为没有一个通用的None对象。不过，有一些简单的方法可以解决这个问题。

我一开始确实觉得类型错误很困惑，但我大约花了一周的时间就学会了如何理解它们。

我想重申Don的建议：试着写一些Haskell代码，如果遇到让你困惑的类型错误再回来找我们。

Answer 2

我能像在Python中那样编写Haskell代码，而不受静态类型的限制吗？

可以。

具体来说，我想说在Haskell中使用存在类型（也就是可以存放不同类型元素的数据结构）可能会让人感到困惑。这对习惯了面向对象编程的人来说比较麻烦，因为他们习惯有一个“对象”类型的顶层概念。使用Lisp或Scheme的人也可能会遇到这个问题。不过，我不确定这对Python程序员来说会不会造成困扰。

试着写一些Haskell代码，当你遇到让人困惑的类型错误时再回来找我。

你应该把静态类型看作一种好处——它能为你检查很多东西，越依赖它，你需要测试的内容就越少。此外，它还能让编译器让你的代码运行得更快。

Answer 3

首先，你不能创建一个包含多种类型值的列表，而不使用包装器（比如，如果你想要一个可以包含字符串或整数的列表，你需要创建一个 Either Int String 的列表，并把每个项目用 Left 或 Right 包裹起来）。

你也不能定义一个可能返回多种类型值的函数（比如 if someCondition then 1 else "这段代码无法编译"），同样的，必须使用包装器。