作者查詢 / CoNsTaR
作者 CoNsTaR 在 PTT [ C_and_CPP ] 看板的留言(推文), 共1276則
限定看板:C_and_CPP
看板排序:
全部C_and_CPP1276Soft_Job1202Tech_Job827Salary646Minecraft431PokeMon346Programming273Canada252Oversea_Job217Storage_Zone157WomenTalk108CATCH106Mix_Match100Free_box79PLT57logic43Folklore35Prob_Solve30HI_3rd26MiHoYo26Immigration21Gossiping20Modchip19soul19Military17kochikame13studyabroad10nb-shopping9Boy-Girl8MayDay5CD-R4Buddha3java3L_LifeJob3P2PSoftWare3sex3cookclub2Headphone2marvel2Math2MH2CompBook1Employee1japanavgirls1L_TalkandCha1Sub_CS1Taoism1<< 收起看板(47)
1F推: 我也還沒看過只給一顆CPU,沒有MB,power…也能跑程式的09/12 00:56
45F推: 不這樣做是因為以前有些硬體的限制沒辦法 flush stdin 吧09/08 20:18
46F→: ?09/08 20:18
14F推: 用 magic numbers?09/05 23:59
15F→: XDD09/05 23:59
21F推: 像 idris 的 HVect 一樣嗎?09/06 02:53
9F推: 也可以試試 Idris,目前 1.1.1,個人很喜歡09/04 00:57
10F→: 可以編成 C 或 javascript 和一大堆其他語言09/04 00:57
11F推: 不過有些後端只靠社群努力,最實用的還是 C 或 js09/04 00:59
3F推: enum 可以不只是 int 啊…09/01 02:01
5F推: 喔喔,是 c++11 之後才可以啦 抱歉09/01 05:41
1F推: 那你知道 void 和 void* 的差異嗎?08/28 23:57
2F→: * 的意義是什麼?08/28 23:57
2F推: windows 不用認識了啦 垃圾作業系統 希望早日被淘汰08/22 01:49
3F→: 不經同意開關機,真的想開關機又開不起來關不了08/22 01:50
4F→: 超級火大08/22 01:50
5F推: 根本就不是利於消費者使用而設計的系統,M$08/22 01:52
29F推: 其實樓主如果有能力找到最小可重現問題的程式碼的話,那08/22 01:56
30F→: 他其實也不用上來問了08/22 01:56
3F推: 雖然 rust 可以利用規則來簡化複雜的東西08/13 06:11
4F→: 但是相反的,因為 rust 只能照規則走08/13 06:11
5F→: 所以不在規則內的 hack 就沒辦法過 type check08/13 06:11
15F推: 就說 rust 會在他知道的範圍內把東西做到最簡08/13 11:10
16F→: 所以如果 rust 知道所有最快的 hack08/13 11:10
17F→: 而且能夠知道同一個語意的所有不同寫法08/13 11:10
18F→: 那理論上它會是最快的,但事實是不可能,只能盡力08/13 11:10
19F推: 例如說,如果有一種機器,它有一個指令能夠在一個指令周08/13 11:15
20F→: 期內做完 foo 做的事,但是 rust 不知道這個指令,或者是08/13 11:15
21F→: rust 不知道直接呼叫那個指令和執行這一串程式碼是相等08/13 11:15
22F→: 的(操作語意上),那這兩個情況下 C 內嵌組語都會比 rust08/13 11:15
23F→: 快08/13 11:15
24F推: 而各個 libc 的實作都用了一大堆這種機器相關的 hack,08/13 11:17
25F→: 所以 rust 才會這麼難超過 C08/13 11:17
26F推: 至於為什麼我前面說不可能,第一因為這種 hack 可以有無08/13 11:21
27F→: 限種,你隨時爽往你的機器上加什麼特性都可以08/13 11:21
28F→: 第二因為對於所有正確的敘述,要判斷它們的語意是否相等08/13 11:21
29F→: ,常常是 undecidable 的 (有興趣可以參考 logical seman08/13 11:21
30F→: tics)08/13 11:21
31F推: 所以如果你不知道兩者語意相等,那你就沒辦法用快的取代08/13 11:29
32F→: 慢的08/13 11:29
33F→: 例如你上面的例子,如果 rust 不能判定少讀一次記憶體位08/13 11:29
34F→: 址的語意是否還和原本一樣,那它就沒辦法用少讀一次的版08/13 11:29
35F→: 本替換比較慢的版本(雖然這個 case 是可判定的)08/13 11:29
36F推: 不知道這樣講有沒有比較清楚…08/13 11:33