- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
有没有地方可以下载所有Wadlers Lectures on Haskell一举进入这个系列?另外,我在哪里可以找到任何可用的书面/计算机 Material ?
最佳答案
我不知道这些视频是否可以在其他地方找到,但是如果您愿意,有些网站可以让您轻松下载 YouTube 视频。我在Google上找到的一种方法:http://www.4kdownload.com/howto/howto-download-youtube-playlist
幻灯片在这里:http://www.inf.ed.ac.uk/teaching/courses/inf1/fp/lectures/2011/lect01.pdf
Material 在这里:http://www.inf.ed.ac.uk/teaching/courses/inf1/fp/
这些 Material 实际上是 2012 年其他人教课时的 Material ,因此练习可能与瓦德勒使用的不一样。不过,您可以在该页面上找到 2011 年考试和编程竞赛。
此外,公平警告,共识 on Reddit看来瓦德勒实际上并不是一位伟大的老师,至少对于初学者来说是这样。如果您只是在寻找 Haskell 或函数式编程的介绍,那么几乎肯定有更好、更有效的资源。
关于haskell - 获取 Wadler 关于 Haskell 的讲座和 Material ,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/17738479/
Wadler写了一篇令人惊叹的论文:Propositions as Types - 他在那里谈论 Howard-Curry对应,您可以根据程序类型检查程序行为。 (对于给定的语言子集)。 最近Rich
我正在使用 contrib 中的 Prettier Printer 实现。 Idris 中的图书馆. 当我用 |//| 弃牌时Doc 列表中的运算符s,性能迅速爆发,即在我失去耐心之前,以下代码不会终
已结束。此问题正在寻求书籍、工具、软件库等的推荐。它不满足Stack Overflow guidelines 。目前不接受答案。 我们不允许提出寻求书籍、工具、软件库等推荐的问题。您可以编辑问题,以便
有人可以帮我理解 Wadler 题为“Comprehending Monads”的论文中的以下定义吗? (摘自第 3.2 节/第 9 页,即“Strictness Monad”小节。) Sometim
关闭。这个问题是opinion-based .它目前不接受答案。 想改进这个问题?更新问题,以便 editing this post 可以用事实和引用来回答它. 7年前关闭。 Improve this
我是一名优秀的程序员,十分优秀!