作者查詢 / CoNsTaR
作者 CoNsTaR 在 PTT [ C_and_CPP ] 看板的留言(推文), 共1329則
限定看板:C_and_CPP
看板排序:
全部C_and_CPP1329Soft_Job1254Tech_Job888Salary657Minecraft440PokeMon346Canada300Programming274Oversea_Job236Storage_Zone157Mix_Match112WomenTalk108CATCH106Free_box79PLT57logic43Folklore35Prob_Solve30HI_3rd26MiHoYo26Immigration21Gossiping20Modchip19soul19Military17kochikame13studyabroad10nb-shopping9Boy-Girl8MayDay5CD-R4Buddha3java3L_LifeJob3P2PSoftWare3sex3cookclub2Headphone2marvel2Math2MH2CompBook1Employee1japanavgirls1L_TalkandCha1Sub_CS1Taoism1<< 收起看板(47)
2F推: 應該可以用 member reference?reference 到陣列元素06/21 10:55
3F→: 這樣你就可以保留變數名稱,同時也有陣列的優點06/21 10:55
28F推: 認真建議你先寫 Agda 或 Coq 來熟悉一下直構邏輯(types05/29 05:19
29F→: )和 pattern calculus(lambda calculus)05/29 05:19
30F→: 如果你選的是 Agda,應該可以無痛直接接上 Haskell05/29 05:19
31F→: 在 Haskell 裡就有對電腦程式各種東西做數學的抽象05/29 05:19
32F→: 掌握了 Haskell 的 GADT 之後就很容易可以掌握 OO 語言了05/29 05:19
33F→: 語法從 Haskell 跳到 OO 不習慣的話,可以先寫 rust 找一05/29 05:19
34F→: 下對應05/29 05:19
35F推: 啊... 我說的對程式的東西做數學的抽象指的就是像你講的05/29 05:28
36F→: void、IO 之類的東西05/29 05:28
17F推: 不影響架構的東西都隨便啦05/11 09:57
18F→: 沒定 convention 你管他那麼多05/11 09:57
3F推: declaration 或 definition 不是由 extern 直接決定05/02 05:13
4F→: 如果有 assignment 就是 definition,否則為 declaration05/02 05:13
5F→: declaration 分配記憶體,definition 給值05/02 05:13
6F→: 這裡會說 extern int i 是 declaration 單純是因為你不05/02 05:13
7F→: 能在 extern 的同時 assign,既然沒有 assignment,所以05/02 05:13
8F→: 是 declaration05/02 05:13
9F→: int j 一樣是 declaration,因為沒有 assignment05/02 05:13
10F→: int j = i 才算是 definition05/02 05:13
9F推: M$ 的系統也可以嗎?03/22 01:26
13F推: 你一年的最後一小時賺 500 塊你年薪就 500 嗎 XD03/14 14:32
2F推: 好哦03/04 01:21
6F推: gcc 的話02/18 13:33
7F→: enum __attribute__((packed)) Boolean { TRUE, FALSE };02/18 13:33
21F推: 我從一開始就看這串的,平心而論真的看不出原Po尊重在哪12/18 12:53
22F→: 只看到明明是來問問題的又愛跟人爭輸贏12/18 12:53
23F→: 我還看到版友給的建議你不只不懂得利用,還說人家是上古12/18 12:53
24F→: 時代、不切實際 = =12/18 12:53
25F→: 看到真的超級傻眼好嗎12/18 12:53
4F推: 加入的都是新手,也沒有人可以幫你 debug 吧12/11 03:10