习惯了静态类型语言，这两天写 Python ，每个函数开始时都带一坨 assert isinstance ...

[metorm]

写的是一个简单的物理仿真计算程序。这算好习惯还是坏习惯？ 养成这个习惯是因为有一次被 numpy 的 1x1 数组坑了好久……

[orangeade]

用 python 3.7

[013231]

typing 不行吗?

[013231]

https://docs.python.org/3/library/typing.html

[wwqgtxx]

@013231 typing 只是起提示作用，类型检查并不是强制的

[Em5O7B1JGfjQnBry]

3.5 之后，可以用 type hint，然后在运行前，用 mypy 检查一遍

[xrlin]

没办法，动态类型就是这样，动态类型是把双刃剑。

[xrlin]

我一般用 python 写比较大一点的项目，会加上简单类型说明和比较详细的 docstring。

[metorm]

@013231 之前只是耳闻。刚才看了一下你发的链接，感觉这个手段入侵性有点强，后面顶不住了再考虑吧……

[lihongjie0209]

正常操作, 动态语言都这样. 现在又在加 typing 啊什么的, 我 TM 都写类型了,我为什么不用静态语言, 而且这个 typing 还不能保证编译安全, 鸡肋一个

[asdf123101]

动态语言就是这样的呀，不要用静态的思路去考量动态语言。用动态语言的意义不就是先把应用做出来，把结果跑出来吗。要性能和安全的时候再用 Java，C++就好了。

[karllynn]

这样会很慢啊…输入输出要按契约编程，写在 docstring 里就可以了

[skinny]

@lihongjie0209 确实如此，特别是复杂一点的类型还要写一坨代码，唯一有点用的地方是对 IDE 解析友好，代码提示更清晰准确。如果真的非常追求静态类型检查，真的不必用这种方法，换一种语言更好，比如 C#。

[lihongjie0209]

@skinny #12 动态语言的代码提示基本为 0, 写代码 10 分钟, 查手册看参数和返回值半小时

[blacklee]

没事，我写 ruby 也是这样。

[zhuangzhuang1988]

来用 F#吧
爽歪歪。

[lihongjie0209]

题主问题的本质在于: 对于一个语言的心理定位和现实使用情况不符合.

对于我来说, Python 是 better bash, 只要能写脚本就 OJBK 了, 我不关心:
1. GIL
2. Python3.X, 我现在还在用 Python2.6(CentOS6 自带的)
3. 静态类型

因为这些东西 bash 也没有, 我用 bash 写脚本也不会享受到这些优点.

仿真计算我不懂, 但是在 Python 之前一定有其他软件可以做, 题主应该更关注于 Python 带给了你什么优势, 而不是它和 xxx 语言相比有什么劣势.

脚本语言的命, 别操着静态工程语言的心.

[Trim21]

@lihongjie0209 用了 typing 之后 pycharm 的自动补全还是挺爽的，如果库作者相应的 doc string 里写明了参数类型和返回值也能进行类似的参数推导

[lihongjie0209]

@Trim21 #17 给你返回一个 map, tuple 你怎么做自动补全, 怎么知道返回值中到底有什么? Python 的问题是脚本语言的灵活性给程序员带来了偷懒的机会, 返回 map 最简单, 但是后续的维护太难做.

[orangeade]

@lihongjie0209 #9 你 Java 干嘛加 var 类型推导呢 好好地手写不就行了

[fancyhan]

如果做科学计算，还是 fall fast 比较好，我觉得可以