我真的对GHC.Generics中的“泛型表示类型”感到困惑。我不明白这种数据类型是如何工作的。例如,元信息,M1
newtype M1 i c f p
M1
unM1 :: f p
为什么类型M1有四个类型的变量: i,c,f和p。我的意思是,为什么4。它有一些特殊的意义吗?
另外,对于初学者学习GHC泛型的任何书籍或论文都将不胜感激。
我一直想学一门比java更好的语言。所以我开始尝试使用python。我已经读过了“潜入python”,所以我现在对python有了一个不错的了解。
你建议我从这里走到哪里?我不想再读另一本高级书籍了,我想用python的知识来构建“一些东西”。
我听说python很适合网络爬行,但是我在dive into python中没有看到这一点。社区可以建议如何将我的pythong知识用于网络爬虫或蜘蛛吗?