作者查詢 / CoNsTaR

總覽項目：發文 | 留言 | 暱稱

作者 CoNsTaR 在 PTT [ Programming ] 看板的留言(推文), 共273則

限定看板：Programming

看板排序：

首頁

尾頁

[請益] 新手不知道在哪個版請教

[ Programming ]19 留言, 推噓總分: +5

作者: chiij - 發表於 2017/07/16 16:36(8年前)

1^F推CoNsTaR: 先學Agda或Idris之類的語言對你會不會比24.114.101.177 07/16 19:30

2^F→CoNsTaR: 較輕鬆啊？24.114.101.177 07/16 19:30

4^F推CoNsTaR: Agda Idris Coq 這些語言可以拿來做定理24.114.84.143 07/16 23:05

5^F→CoNsTaR: 證明24.114.84.143 07/16 23:05

6^F推CoNsTaR: 優點不用像其他語言一樣需要考慮機器相24.114.84.143 07/16 23:08

7^F→CoNsTaR: 關的問題24.114.84.143 07/16 23:08

8^F→CoNsTaR: 缺點是因為這種語言太嚴謹了所以很難上24.114.84.143 07/16 23:08

9^F→CoNsTaR: 手24.114.84.143 07/16 23:08

10^F→CoNsTaR: 不過因為原Po是數學系的，所以我才覺得24.114.84.143 07/16 23:09

11^F→CoNsTaR: 應該很適合吧？24.114.84.143 07/16 23:09

[問題] 有推薦的ML語言教學網站嗎

[ Programming ]11 留言, 推噓總分: +4

作者: nchwshku - 發表於 2017/06/21 19:29(8年前)

1^F推CoNsTaR: 可以看看 okasaki pure functional data99.242.172.27 06/21 19:42

2^F→CoNsTaR: structures99.242.172.27 06/21 19:42

3^F→CoNsTaR: 書中的範例用的語言是 ML，看一看應該很99.242.172.27 06/21 19:42

4^F→CoNsTaR: 容易就懂了99.242.172.27 06/21 19:42

5^F推CoNsTaR: 書末也有 Haskell 的版本可以對照24.114.69.183 06/22 02:28

6^F→CoNsTaR: 如果真的看不懂 ML 版本的話24.114.69.183 06/22 02:29

[閒聊] 身為工程師的使命

[ Programming ]22 留言, 推噓總分: +2

作者: wind681201 - 發表於 2017/06/17 19:44(8年前)

6^F→CoNsTaR: 你知道現在應該生個小孩，但是你沒子宮99.242.172.27 06/17 21:53

7^F→CoNsTaR: 而且那些有子宮的都不知道在幹嘛99.242.172.27 06/17 21:53

8^F→CoNsTaR: 但是這本來就是工程師應該面對&解決的問99.242.172.27 06/17 21:53

9^F→CoNsTaR: 題啊99.242.172.27 06/17 21:53

10^F→CoNsTaR: 環境就是這樣，你抱怨只會顯得你愚蠢99.242.172.27 06/17 21:53

11^F→CoNsTaR: 要馬改行換環境，要馬在這個環境中生存99.242.172.27 06/17 21:53

12^F→CoNsTaR: 不過你換行也會發現每個行業都是這樣子99.242.172.27 06/17 21:53

13^F→CoNsTaR: 的99.242.172.27 06/17 21:53

[請益] function參數有需要再存一次嗎？

[ Programming ]18 留言, 推噓總分: +7

作者: ggirls - 發表於 2017/06/16 11:44(8年前)

8^F推CoNsTaR: 什麼語言?99.242.172.27 06/16 14:34

13^F推CoNsTaR: 我寫 shell script 也會這樣做～99.242.172.27 06/16 19:26

14^F→CoNsTaR: 目的就像 L 大說的，也為了可讀性99.242.172.27 06/16 19:26

15^F→CoNsTaR: shell script 函數參數名稱真的挺難看的99.242.172.27 06/16 19:26

[問題] 能夠手動發送並接收+自動接收

[ Programming ]19 留言, 推噓總分: +2

作者: wtchen - 發表於 2017/05/14 04:42(8年前)

1^F→CoNsTaR: 給封包編號會有用嗎？117.19.33.132 05/14 15:51

2^F推CoNsTaR: 可不可以讓A再開一個thread負責接收封包49.217.35.249 05/15 14:34

3^F→CoNsTaR: ，然後用編號來決定提供給誰？49.217.35.249 05/15 14:34

4^F→CoNsTaR: 例如開頭是0的給第一個thread，開頭是149.217.35.249 05/15 14:34

5^F→CoNsTaR: 的給第二個之類的49.217.35.249 05/15 14:34

6^F→CoNsTaR: 或是封包裡多個tag描述訊息的種類也可以49.217.35.249 05/15 14:35

7^F→CoNsTaR: 吧49.217.35.249 05/15 14:35

8^F→CoNsTaR: 如果編號的規則不能改的話可以加tag?49.217.35.249 05/15 14:39

9^F→CoNsTaR: 而且我不太懂，你現在這樣子應該沒有辦法49.217.35.249 05/15 14:46

10^F→CoNsTaR: 知道B給的到底是哪一種訊息啊49.217.35.249 05/15 14:46

11^F→CoNsTaR: 除非A都沒有發送過請求49.217.35.249 05/15 14:46

[問題] Windows掛載卸載分割區的指令

[ Programming ]2 留言, 推噓總分: +2

作者: anawak - 發表於 2017/04/28 02:39(8年前)

2^F推CoNsTaR: Storage_Zone 可以問114.32.240.238 04/28 12:35

[問題] 在自製語言中，如何表示函數和物件已刪文

[ Programming ]24 留言, 推噓總分: +4

作者: Neisseria - 發表於 2017/04/24 16:31(8年前)

1^F推CoNsTaR: 函數怎麼實現要看你的語言想用什麼paradi114.32.240.238 04/24 18:03

2^F→CoNsTaR: gm114.32.240.238 04/24 18:03

3^F→CoNsTaR: 如要用lambda那一套就照著他的規約來做就114.32.240.238 04/24 18:03

4^F→CoNsTaR: 好啦114.32.240.238 04/24 18:03

5^F→CoNsTaR: class可以看成是邏輯的Λ，你傳進來的東114.32.240.238 04/24 18:03

6^F→CoNsTaR: 西必須要有x而"且"要有y而"且"要有z之類114.32.240.238 04/24 18:04

7^F→CoNsTaR: 的…114.32.240.238 04/24 18:04

8^F→CoNsTaR: x、y、z就是那個class的member114.32.240.238 04/24 18:04

9^F→CoNsTaR: 我的推文…QQ…114.32.240.238 04/24 18:04

13^F推CoNsTaR: 意思是class其實不過是讓幾個變數一起行114.32.240.238 04/24 21:37

14^F→CoNsTaR: 動而已114.32.240.238 04/24 21:37

15^F→CoNsTaR: 可能是我不懂你的問題，你是在煩惱要怎114.32.240.238 04/24 21:37

16^F→CoNsTaR: 麼用某種統一的方法來儲存使用者定義的 c114.32.240.238 04/24 21:37

17^F→CoNsTaR: lass 這樣？114.32.240.238 04/24 21:37

18^F→CoNsTaR: 還是？114.32.240.238 04/24 21:37

19^F→CoNsTaR: 函數可以先做單參數的，只要type對得上就114.32.240.238 04/24 21:37

20^F→CoNsTaR: 可以丟進函數，要是函數尾對得上另一個114.32.240.238 04/24 21:37

21^F→CoNsTaR: 函數頭，兩個函數就可以合併114.32.240.238 04/24 21:37

22^F→CoNsTaR: 多參數可以先用class包起來當作一個參數114.32.240.238 04/24 21:37

23^F→CoNsTaR: 來模擬114.32.240.238 04/24 21:37

24^F→CoNsTaR: 為什麼現在推文都會變成這樣啊…很煩……114.32.240.238 04/24 21:38

[問題] 如何發現存取越界? c/c++(V.S.)

[ Programming ]8 留言, 推噓總分: +2

作者: moebear - 發表於 2017/04/16 01:30(8年前)

7^F推CoNsTaR: clang + scan-build ?114.32.240.238 04/16 11:59

Re: [建議] 直接學deep learning可以嗎已刪文

[ Programming ]1 留言, 推噓總分: +1

作者: Neisseria - 發表於 2017/03/30 07:16(8年前)

1^F推CoNsTaR: 不用手動建可以說是 AGI 了吧59.120.251.134 03/30 11:55

[問題] 如何學coding

[ Programming ]7 留言, 推噓總分: +5

作者: qazkevin - 發表於 2017/03/23 01:28(8年前)

5^F推CoNsTaR: 我覺得你只是沒有親手寫過一個專案的信101.13.97.178 03/25 19:14

6^F→CoNsTaR: 心而已101.13.97.178 03/25 19:14

首頁

尾頁