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