我发现了各种使用matplotlib生成动画的短文件.通常,它们在从命令行运行时工作正常,但在PyCharm中我只得到一个静止帧.
我问同样的问题,因为Matplotlib在IDE(PyCharm)中使用时不会更新绘图.那里有一个答案,这似乎适用于原始的提问者.当我从命令行运行该代码时,它工作正常.从PyCharm开始,它会暂停很长时间(大概是运行动画),然后显示一个静止帧(看起来像是动画的开头或结尾).
我在Mac(OS 10.11.6)上通过PyCharm 2017.3.2(专业版)运行Python 3.6.2(Anaconda).我在PyCharm中创建了一个Python项目,将该代码粘贴到.py文件中,安装了相应的库(matplotlib 2.0.2,numpy 1.13.1),然后运行该程序.
我在命令行和我在命令行上做的事情之间唯一的区别就是python --version给出了:
Python 3.6.0 :: Anaconda custom (x86_64)
还有什么可能是问题？
:t 3给出3 :: Num a => a，因为文字 3 没有特定类型。
早在 2013 年，当我制作这个视频时，如果我用 绑定 3 到变量名let x = 3，Haskell 必须提交一个类型，所以:t x会给出x :: Integer。
不过，当我最近（2022 年）重复这一点时，我得到了x :: Num a => a. 显然，绑定到变量的值现在可以延迟提交到类型。
发生了什么变化？