PLT 板


LINE

看板 PLT  RSS
1F:→ SansWord:这个方法是不是很像 Functional Programming with06/02 14:01
2F:→ SansWord:Overloading and Higher-Order Polymorphism06/02 14:01
3F:→ SansWord:ch 5.1 提到的functor? (上面那篇by Mark P. Jones)06/02 14:02
4F:→ SansWord:里面提到了如何抽象化 fold 之类的函数06/02 14:03
5F:→ SansWord:使用到了一个cata phi 机制~06/02 14:03
关系并没有非常直接呢。我不太确定我们想的是不是同一篇,不过 通常用 functor 等等的目的是为了要同时描述很多种不同的递回 模式(例如递回呼叫一次的、两次的、等等)。 另外一个差异是, fold(通常把 generalized 的 fold 称为 cata) 的输入如果是有限的结构,是一定会终止的。一般说的 letrec 则 通常可以定义 general recusion, 不一定会终止。 有兴趣的话,希望改天有机会聊啦... :) --



※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 123.192.160.134
6F:推 SansWord:了解~ 06/03 00:35







like.gif 您可能会有兴趣的文章
icon.png[问题/行为] 猫晚上进房间会不会有憋尿问题
icon.pngRe: [闲聊] 选了错误的女孩成为魔法少女 XDDDDDDDDDD
icon.png[正妹] 瑞典 一张
icon.png[心得] EMS高领长版毛衣.墨小楼MC1002
icon.png[分享] 丹龙隔热纸GE55+33+22
icon.png[问题] 清洗洗衣机
icon.png[寻物] 窗台下的空间
icon.png[闲聊] 双极の女神1 木魔爵
icon.png[售车] 新竹 1997 march 1297cc 白色 四门
icon.png[讨论] 能从照片感受到摄影者心情吗
icon.png[狂贺] 贺贺贺贺 贺!岛村卯月!总选举NO.1
icon.png[难过] 羡慕白皮肤的女生
icon.png阅读文章
icon.png[黑特]
icon.png[问题] SBK S1安装於安全帽位置
icon.png[分享] 旧woo100绝版开箱!!
icon.pngRe: [无言] 关於小包卫生纸
icon.png[开箱] E5-2683V3 RX480Strix 快睿C1 简单测试
icon.png[心得] 苍の海贼龙 地狱 执行者16PT
icon.png[售车] 1999年Virage iO 1.8EXi
icon.png[心得] 挑战33 LV10 狮子座pt solo
icon.png[闲聊] 手把手教你不被桶之新手主购教学
icon.png[分享] Civic Type R 量产版官方照无预警流出
icon.png[售车] Golf 4 2.0 银色 自排
icon.png[出售] Graco提篮汽座(有底座)2000元诚可议
icon.png[问题] 请问补牙材质掉了还能再补吗?(台中半年内
icon.png[问题] 44th 单曲 生写竟然都给重复的啊啊!
icon.png[心得] 华南红卡/icash 核卡
icon.png[问题] 拔牙矫正这样正常吗
icon.png[赠送] 老莫高业 初业 102年版
icon.png[情报] 三大行动支付 本季掀战火
icon.png[宝宝] 博客来Amos水蜡笔5/1特价五折
icon.pngRe: [心得] 新鲜人一些面试分享
icon.png[心得] 苍の海贼龙 地狱 麒麟25PT
icon.pngRe: [闲聊] (君の名は。雷慎入) 君名二创漫画翻译
icon.pngRe: [闲聊] OGN中场影片:失踪人口局 (英文字幕)
icon.png[问题] 台湾大哥大4G讯号差
icon.png[出售] [全国]全新千寻侘草LED灯, 水草

请输入看板名称,例如:BabyMother站内搜寻

TOP