#从属
在对从属类型的进一步赞誉中--N类咖啡馆
In Further Praise of Dependent Types – The N-Category Café
(golem.ph.utexas.edu)
2020-5-11 17:20
在对当前几何的稀薄氛围进行了一次激动人心的冒险之后,我想回到一些更依赖于散文的类型-这是我书中第二章讨论的主题。几年前,在迈克发表的赞扬依赖类型的博文中,我们已经对这个主题赞不绝口,因此才有了这篇文章的标题。 我刚刚看了凯文·巴扎德的演讲--霍特是做数学的方法吗?凯文是伦敦帝国理工学院的一名数字理论家,他希望培训他的......
#从属
#dependent
#语言
#美国
#google
#apple
#谷歌
#程序
#rust
#数据
#warning
#游戏
#代码
#ai
#软件
#linux
#设计
#学习
#web2.0
#google
#设计
#创意
#摄影
#游戏
#图片
#软件
#视频
#手机
#广告
#apple
#iphone
#网站
#免费
#下载
#windows
#微软
#firefox
#苹果
#blog
#音乐
#博客
#wordpress
#恶搞
#艺术
#qq
#web
#谷歌
#工具