V
主页
京东 11.11 红包
把范畴论作为思考的工具 - Lambda Days 2020
发布人
https://www.youtube.com/watch?v=UwYLaGzhDb4 类别理论对静态类型函数编程的影响是不可否认的。诸如“ functor”和“ monad”之类的术语的自由用法似乎证明了这一点。范畴论当然是思想的丰富来源,但是人们却得到的印象不仅仅是范畴。精通类别理论似乎使软件开发人员能够以更深远和系统的方式探索新概念和抽象。 进一步思考,这不足为奇。范畴理论可以看作是通过概念之间的相互关系来定义概念。有时,这允许仅通过“跟随箭头”来发现和探索新的想法,这是在范畴理论家的工具箱中找到
打开封面
下载高清视频
观看高清视频
视频下载器
毛选:学习教员,首先要读懂教员的“愚”,真正的屠龙术!
【元首】锐评函数式编程
【FnConf18】APL 需要类型系统吗?
维特根斯坦和他的《逻辑哲学论》1万6千字爆肝讲解
学习学不好的小孩不要幻想哲学成才,蜗居在比同龄人优越感之中(我的读书复盘,误区总结上)
Strongart通用层论30:滤上极限与上同调
卢麒元:天下大LUAN,未来可期(完整版-上)
【熟肉 | Clark Elieson】我渴望自己从未出生...
“总有一天你会明白, 真正能治愈你的, 从来不是时间, 而是你心里的那段释怀和格局。 只要你内心不慌乱, 连世界都难影响你。”
现象学入门 19小时尊享! 人类顶级思维
圆锥曲线中的极点极线相关性质以及详细证明过程
苏步青:《学好数学的方法》
Strongart通用层论29:c-软层与紧支上同调
【初中】二次函数满分必看!保姆级题型代刷、初三中考生
冯唐讲《资治通鉴》 完整三季度600集-如果一生只读一本书,请读《资治通鉴》
规则怪谈!!但是一元二次方程~
学校为啥不开逻辑课 张鹏
既然所有的生命都要死亡,那么活着的意义到底是什么?
帮不了你当全校第一,但班级第一没问题
【ATC/OSDI/21】是时候让操作系统重新发现硬件了【Joint Keynote】
a>1,b>1,a+b真的大于2吗?
【西方哲学史】斯宾诺莎
毛选实例分析:不懂得主动斗争,你永远换不来内心的安宁和稳定!
【4ASCEND】我用Haskell写了一个爆杀老师的小程序!
未来三年
如果你感到自卑,可以听听大冰这样说,听完就释怀了
《悉达多》人生救赎之书
首发!己土不愧为最容易出女同性恋的日主
尼采的智慧火花:点亮你的人生之路
毛选:某年的四月份,教员已经开始注意到一个现象.....孤独的巨人,伟大的教员!
希尔伯特曲线是什么?一根线就能填满整个空间,如何跨维度的?
美国宇航局最新发布的火星照片
《现象学的观念》五篇讲座稿[全], 胡塞尔著 | 听者型学习
【冒死上传】看动画学数学 高中数学必修一 持续在线更新!课本同步趣味动画详细讲解,通俗易懂!!
庄子说:太用力的人,是走不远的
命运发生转变的一个征兆
有哪些曾让你陷入思考的句子?
卢老师《投资学课程》26讲合集
荣格心理学:整合阴影人格,成为你「害怕成为的人」