“讨论室:学术” 上的话题
< 讨论室:学术
- (当前 之前 话题) 2023 年 1 月 21 日 (六) 09:47 . . Ice1000(讨论 | 贡献)已创建 “如何在计算机科学中应用类型论和范畴论?” 的话题摘要 . . +4
- (当前 之前 话题) 2023 年 1 月 21 日 (六) 09:47 . . Ice1000(讨论 | 贡献)已将话题“如何在计算机科学中应用类型论和范畴论?”标记为已解决(标记为已解决) . . 0
- (当前 之前 话题) 2023 年 1 月 20 日 (五) 01:17 . . Trebor(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(使用者的视角, 这就是一个提前定义好现成的单子, 和其他单子使用上没有区别. 实现上那就是正常的魔法, 一般都没什么特别非平凡的) . . +60
- (当前 之前 话题) 2023 年 1 月 20 日 (五) 00:09 . . Ice1000(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(我觉得其实就是指提供一个满足单子律的语言特性. 也可能不满足, 只是像一个单子. 比如修改变量的能力其实就属于一种单子) . . +56
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 22:41 . . Master(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(大概是都想问.) . . +7
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 21:26 . . Trebor(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(你是想问编程语言的设计者如何实现这个功能, 还是编程语言的使用者如何使用这个功能) . . +39
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 16:33 . . Master(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(“编程语言里面可以直接提供一个单子” 这句话怎么理解呢?) . . +27
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 10:26 . . Ice1000(讨论 | 贡献)已编辑于 “如何在计算机科学中应用类型论和范畴论?” 的帖子 . . +23
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 10:25 . . Ice1000(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(你说的有道理, 很显然这里不是自然同构的关系, 我觉得那个表示计算的 Monad 确实是用来标记的, 但过滤表达式这个想法是我为了具体化这个过程临时想的. 这样一看确实有问题.) . . +84
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 10:00 . . Trebor(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(过滤两遍和只过滤一遍效果是一样的 这很强烈地暗示应该有一个自然同构, 而不是自然变换, 你确定这是你想说的吗? Computation type 实际上是一样的思想, 注意我没有说 “副作用”, 消耗时间也可以看作是计算的一种表现.) . . +144
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 09:51 . . Ice1000(讨论 | 贡献)已编辑于 “如何在计算机科学中应用类型论和范畴论?” 的帖子 . . +59
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 09:50 . . Ice1000(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(我说的就是纯计算, 单子表示 effect 是另一种应用了. 这种应用一般不验证单子的交换条件所以我没写) . . +50
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 09:46 . . Trebor(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(计算并不是值到值的映射 (如果是, 这称作纯计算) . 一次计算可能会产生异常, 生成随机数, 读取磁盘文件等. 单子这个数学结构可以刻画绝大部分计算的概念. 单子是一个自函子 m:C→C 上配备一些结构. C 是所有类型的范畴, 态射是函数. m(x) 表示一次计算, 产生类…) . . +535
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 08:58 . . Ice1000(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(令 Computed : Set → Set 作为一种标记计算的函数, 输入一个表达式的集合, 过滤掉里面那些会因为计算而变成其它东西的表达式, 比如 1 + 1 就会被删掉, 因为它运行后就是 2 了. 这里 Computed 就是一个 Monad. 不知道这么说能不能表达出…) . . +213
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 07:21 . . Master(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(计算视为单子具体指什么呢?) . . +13
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 06:33 . . Ice1000(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(编程语言是非常常用的计算机工具, 这个是计算机科学家比较关心的, 并且编程语言对于程序员的思维影响非常深刻, 比如常年使用 Java 的人会认为子类型多态是天经地义的, 而长时间使用 Rust 的人脑子里会对程序进行线性逻辑式的建模, 长时间使用 typescript 的话会内…) . . +907
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 06:09 . . Ice1000(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(这是个很好的问题. 首先, 计算机科学 (广义) 很难应用类型论和范畴论, 实际上是类型论的研究中有大量对范畴论的应用, 而类型论本身是编程语言理论的基础理论. 在我看来 (前面部分应该是成立的, 从现在开始是我的个人想法) , 类型论之于对编程语言学家来说有点类似集合论之于数…) . . +281
- (当前 之前 话题) 2023 年 1 月 19 日 (四) 02:35 . . Master(讨论 | 贡献)已评论"如何在计算机科学中应用类型论和范畴论?"的话题(如题, 我好奇计算机学家为何要考虑类型论和范畴论, 它反映了计算机科学中何种对象的数学结构?) . . +44