作者查詢 / 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→: 你是想要寫 shell 嗎 看不懂問題11/30 13:04
5F→: 用迴圈和 scanf ?11/30 13:23
21F推: 你這個不就是4進位而已嗎?0123用abcd代表,一開始是0,11/29 16:07
22F→: 然後一直加1就可以了11/29 16:07
23F→: 原來樓上有人說過了 orz...11/29 16:08
28F推: 你有做過大數加法嗎 就一樣的做法11/29 21:12
30F→: 其實原 Po 本來的問題就是要如何用 C 語言來做 {a,b,c,d}12/01 17:35
31F→: 的笛卡爾積了 不是嗎 :p12/01 17:35
32F→: 只是他沒有把笛卡爾積這幾個字寫出來而已12/01 17:36
5F推: 那是超古早 llvm 才有的功能吧…11/28 11:47
7F推: 推坑 agda 啦 先做出 C&C++ denotational semantics 再寫11/28 14:12
8F→: agda 互轉 :p11/28 14:12
15F→: 我記得 clang 是可以直接把 objc 編成 c 的 有這個印象11/28 18:40
16F→: 好像是啥 rewrite 什麼的 不太確定11/28 18:40
17F→: 如果 objc 可接受的話可以試試看11/28 18:41
21F→: 我錯了 那只能變成 c++…11/28 18:44
35F→: 樓上 原 Po 是想用高階語言 但環境要求原始碼必須是 C11/29 10:19
17F推: 這種時候就會覺得有 pattern matching 的語言真好 XDD11/29 17:53
1F推: 對話前面會有時間不是嗎 前面沒有時間就是日期啦11/25 11:49
3F→: Stmt = DateStemp | Record11/25 11:58
4F→: DateStemp = N/N/N(Token)11/25 11:58
5F→: Record = Time Name Sentence11/25 11:58
6F→: Time = N:N11/25 11:58
7F→: Name = Token11/25 11:58
8F→: Sentence = Token | Token Token11/25 11:58
9F→: 寫出類似這樣的 pattern 去 match 應該會比較簡單11/25 11:58
4F推: asin 回傳的 value 必須屬於 (constexpr a) A 才接得住11/22 00:26
6F→: asin 應該不是,而且剛剛查了一下 gcc 有把它當 builtin11/22 00:27
7F→: 所以這樣猜11/22 00:27
22F推: 兩個不同的 type 沒辦法這樣做(a 有 constexpr, func 沒11/22 18:19
23F→: 有)11/22 18:19
24F→: 試想要是 func 裡面有 IO 的話該怎麼辦?11/22 18:20
25F→: 在 pure functional language 裡可以做到你想的,例如 Id11/22 18:21
26F→: ris 的 Refl11/22 18:21
27F→: 因為所有有 side effect 的 function 的回傳值都會是 ∀a11/22 18:25
28F→: .(IO a),而且不允許 undefined (例如無窮迴圈) 所以可以11/22 18:25
29F→: 粗略的區分哪些值可以在編譯時期求得哪些不行11/22 18:25
30F推: 聽起來是可行 只是如果真要這麼麻煩我寧可換個語言 XDD11/22 21:58
7F推: static analysis ?11/18 17:45
1F→: ..11/12 14:51
7F推: 因為一般變數用到的大小在編譯時期就決定了11/11 18:41
8F→: 你自己 alloc 的空間是 runtime 才決定 所以也要 runtime11/11 18:41
9F→: 決定如何釋放11/11 18:41
10F→: 其實有些語言你自己 alloc 的空間也可以在編譯時期決定如11/11 18:43
11F→: 何釋放11/11 18:43
13F→: 不需要消化 runtime 的執行成本 像是 Rust 的 Ownership11/11 18:44
14F推: 就像有時候你會想要用陣列,用 index 來決定操作哪個變11/11 19:35
15F→: 數11/11 19:35
16F→: 這是「程式化」的操作變數,只不過你現在的 case 變成程11/11 19:35
17F→: 式化的分配記憶體而已11/11 19:35
18F→: 你有一個規則,用來分配/釋放記憶體的規則,或是操作變11/11 19:37
19F→: 數的規則,而不直接寫死在程式裡,可以在 runtime 按照規11/11 19:37
20F→: 則做11/11 19:37
21F→: 至於 Rust 就是已經把規則定好在語言裡面了,達成程式設11/11 19:39
22F→: 計師和編譯器之間的共識11/11 19:39
24F推: 這樣說好了 變數不用(或說 life time 結束比較精確)的時11/11 19:52
25F→: 候就該被釋放11/11 19:52
26F→: 這是語言的規定,讓你不用多考慮哪個變數該在哪釋放11/11 19:52
27F→: 當然也有一個讓你自己決定如何釋放的機制,那就是 malloc11/11 19:52
21F推: 有些語言 Int 和 Integer 是兩個不同類型的要怎麼辦11/10 01:08
22F→: 因為 char 類型並不真正代表‘字元’ int 也不代表‘整11/10 01:11
23F→: 數’ 所以念成 integer 和 character 個人是覺得怪怪的…11/10 01:11
28F→: int ≠ 啊…11/10 07:20
29F→: int ≠ Z11/10 07:21