python - haskell 与 python 打字

Question

我正在寻找 python 中的东西因为它是动态类型而更容易编程的例子？

我想将它与 Haskell 类型系统进行比较，因为它的静态类型不像 c# 或 java 那样妨碍。我可以像在 python 中一样在 Haskell 中编程，而静态类型不会成为障碍吗？

PS:我是一个 python 用户，玩过一些 ML 和 Haskell .. ...我希望现在清楚了..

Answer 1

Can I program in Haskell as I can in python without static typing being a hindrance

是的。

详细来说，我想说的主要问题是在 Haskell 中将存在类型用于异构数据结构(包含各种类型元素列表的常规数据结构)。这通常会捕获 OO 习惯于顶级“对象”类型的人。它经常吸引 Lisp/Scheme 程序员。但我不确定这对 Pythonista 是否重要。

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

您应该将静态类型视为一种好处——它会为您检查很多的东西，而且您越依赖它，您需要测试的东西就越少。此外，它还使编译器能够使您的代码更快。