PTT
Submit
Submit
选择语言
正體中文
简体中文
PTT
PLT
Re: [情报] Functional Thursday #35
楼主:
CindyLinz
(Cindy Wang)
2016-01-30 16:12:12
※ 引述《CindyLinz (Cindy Wang)》之铭言:
:
作者: c225 (嘟嘟噜~~~)
2016-01-30 16:49:00
因为是lazy 所以amortized的东东才会变real time吗?
作者:
FRAXIS
(喔喔)
2016-01-30 18:49:00
我会这样问 是因为我看到庄庭瑞老师的论文上面有写说如果没有 lazy evaluation 的话需要 6 个 list不过那已经是 93 年的 论文了 想知道最近有没有突破说错了.. 论文上没写有几个 list 但是网络上有人说要 6 个
http://stackoverflow.com/a/5573398/1260984
论文上是写怎样作 real-time 的 deque
楼主:
CindyLinz
(Cindy Wang)
2016-01-30 20:00:00
嗯我是用 lazy eval 的 Haskell, 写 queue 不是 deque然后, 我没有去想怎么省 list 个数, 所以如果不是最佳解, 应该是正常的 (? XD不过.... list 的个数很重要吗? 不考虑各 list的长度吗
作者:
FRAXIS
(喔喔)
2016-01-30 20:11:00
我想全部 list 长度总和就是原本 queue 里面的元素个数吧
楼主:
CindyLinz
(Cindy Wang)
2016-01-31 01:53:00
那既然长度总和一样, 那为什么需要在意 list 个数呢?
作者:
FRAXIS
(喔喔)
2016-01-31 02:24:00
理论上看是没什么差别 反正都是 real-time只是想知道有没有比较好的实作方式而已
作者:
dryman
(dryman)
2016-02-15 14:08:00
看到删除自己做的时候我也是觉得很想骂脏话XD
作者:
scwg
( )
2016-02-23 10:57:00
那本书是人家的博士论文啊... 刻论文的时候当然太麻烦的跳过
作者:
suhorng
( )
2016-02-23 16:32:00
印象里博士论文跟后来出的书好像有点差? 有重新整理过
继续阅读
[情报] Functional Thursday #35
CindyLinz
[情报] Types and PL 高雄第三次线下读书会
drm343
[情报] Functional Thursday #33
CindyLinz
[问题] 想要用coding来写一段文案
yukijohn
[情报] Types and PL 高雄线下读书会
drm343
[问题] How useful is category theory to PLT?
carelai
[问题] 有人能很好地讲解一下Scott semantics吗?
carelai
[情报] Functional Thursday #31
CindyLinz
[情报] Functional Thursday #30
CindyLinz
[情报] Functional Thursday #29
CindyLinz
Links
booklink
Contact Us: admin [ a t ] ucptt.com