作者查詢 / 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)
21F推: 編譯式還是可以有 reflection 啦06/22 20:16
22F→: 像是 idris 的 elab reflection06/22 20:16
23F推: 要做這種事要嘛就是要有很強的類型系統,要嘛就是macro06/22 20:19
24F→: 或編譯器魔法06/22 20:19
10F推: 可以改成在絕對時時間觸發,不要用相對時間06/18 02:01
18F推: 或是觸發時間分成 expect 和 actual,每次計算下次出發06/18 21:00
19F→: 時間的時候用上次的 expect + offset,不要用 actual + o06/18 21:00
20F→: ffset06/18 21:00
5F推: super/sub 要怎麼翻中文03/24 16:42
10F推: b 要有 side effect 執行結果才會有差吧12/15 06:40
11F→: 否則只是效能問題?12/15 06:41
4F→: 還是看使用情景吧,server 可能就會想要一次全部建構好11/11 23:58
21F推: 程式語言都不要 typecheck 好了,寫 type safe 的程式是11/01 23:14
22F→: 人類的工作,不該由機器來做,typechecking 是測試在做11/01 23:14
23F→: 的事11/01 23:14
24F→: 人員的教育訓練才是最重要的11/01 23:15
54F推: include 不就單純的剪貼嗎?還會管你是不是 static 喔?11/06 12:51
55F→: 語法分析可能都還沒開始,不可能管到語意去吧...11/06 12:53
64F推: 呃... 不論某個 symbol 是不是 static、或它被從哪裡 inc11/06 13:15
65F→: lude 到哪裡、或 scope 是什麼 etc...,它被 include 進11/06 13:15
66F→: 來就是會增加編譯器的工作,就可能會導致編譯速度變慢,11/06 13:15
67F→: 就這樣而已...11/06 13:15
73F推: 沒有要鞭,看了就忍不住想講11/06 13:24
74F→: orz11/06 13:24
1F推: safe不safe只是自嗨/讓別人接受這個設計的藉口而已11/05 07:20
2F→: 真的從 safety 的角度下去設計的東西才不會長這樣11/05 07:20
3F→: 但他們免費寫東西給你用,就隨他們講吧,不需要太執著於11/05 07:20
4F→: 這個(因為沒有結果)11/05 07:20
5F→: 你只要知道他們預期你怎麼用他們寫的東西就好了11/05 07:20
6F→: 回你的問題,如果你有一個 type `Dog`,你知道它是動物,11/05 07:20
7F→: 它實際上也有所有身為動物需要的東西,但在一個 nominal11/05 07:20
8F→: 的 type system 下,在你讓他繼承動物以前,它就不是一11/05 07:20
9F→: 個動物11/05 07:21
10F→: 同理,這邊你的 data 不是通過 model 餵給 view,那它就11/05 07:21
11F→: 不是“safe”的 data11/05 07:21
9F推: 除非是想被駭翻天不然還是不要用 2.6 吧 XDD11/02 13:12
34F推: 下一步:不用 Linux kernel 了,手刻一個作業系統11/02 00:11
35F→: (X11/02 00:11
65F推: 建議可以讀個 Linear logic (Linear types)?11/01 04:43
66F→: 把你要做的事情都探討完了11/01 04:43