作者查詢 / CoNsTaR

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

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

限定看板：PLT

看板排序：

首頁

尾頁

[連結] FunTh#84

[ PLT ]6 留言, 推噓總分: +3

作者: stopcrying - 發表於 2023/05/03 11:58(2年前)

1^F推CoNsTaR: 推會有錄影嗎？05/04 01:44

3^F推CoNsTaR: 看這篇的簡介就覺得很有趣如果有錄影請一定要分享上來！05/06 06:33

4^F推CoNsTaR: In case anyone is interested: https://youtu.be/EunYSu05/16 10:05

5^F→CoNsTaR: Gok6U05/16 10:05

6^F→CoNsTaR: https://youtu.be/EunYSuGok6U05/16 10:05

[活動] FLOL∀C 2020 邏輯、語言與計算暑期研習營

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

作者: stopcrying - 發表於 2020/05/11 23:44(5年前)

1^F推CoNsTaR: 首推！05/11 23:48

4^F推CoNsTaR: 同求錄影05/20 10:08

[問題] Agda 的 instance resolution

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

作者: CoNsTaR - 發表於 2020/04/26 12:52(5年前)

4^F→CoNsTaR: 感謝回答！抱歉沒講清楚，rawId 有可能是 runtime 的輸04/27 23:43

5^F→CoNsTaR: 入04/27 23:43

6^F→CoNsTaR: 如果把 itemDisplayName 的 type 改成 String -> Maybe S04/27 23:43

7^F→CoNsTaR: tring 的話有解嗎 @@04/27 23:43

8^F→CoNsTaR: 主要就是希望保留 instance resolution，而且須要某種方04/27 23:49

9^F→CoNsTaR: 法在 runtime 知道 resolution 成功與否（雖然說 resolut04/27 23:49

10^F→CoNsTaR: ion 是在 compile time orz...）04/27 23:49

11^F→CoNsTaR: 是不是須要 reflection 啊04/27 23:50

[問題]陣列宣告長度放字元

[ PLT ]4 留言, 推噓總分: 0

作者: aatroxvanz - 發表於 2018/07/07 21:59(7年前)

1^F→CoNsTaR: 錯版還有你該找本書從頭學過了吧07/07 22:04

2^F→CoNsTaR: 你的問題像是在請數學教授解釋數字1有加底線和沒加底線07/07 22:08

3^F→CoNsTaR: 有什麼不一樣07/07 22:08

[心得] lambda 隨想

[ PLT ]14 留言, 推噓總分: +5

作者: JustinHere - 發表於 2018/03/17 17:32(7年前)

1^F推CoNsTaR: 先推03/18 00:32

2^F→CoNsTaR: 幫修正一下，代數資料型別是 Algebraic Data Type，Abstr03/18 00:33

3^F→CoNsTaR: act Data Type 是別的東西，雖然都叫 ADT03/18 00:33

9^F推CoNsTaR: 請問有打算寫 λ-calculus 的 Metaprogramming 嗎？04/23 12:47

10^F→CoNsTaR: 例如 mogensen-scott encoding 之類的04/23 12:48

11^F→CoNsTaR: 最近剛好對這方面滿有興趣的 XDD04/23 12:48

[問題]新手想找邏輯訓練的方法

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

作者: alexgrace - 發表於 2017/12/12 23:39(8年前)

1^F→CoNsTaR: 可以看 FLOLAC 柯老師的型別論與邏輯，14 年的有錄影可以12/12 23:52

2^F→CoNsTaR: 在官網找到12/12 23:52

3^F→CoNsTaR: http://flolac.iis.sinica.edu.tw/flolac14/12/13 01:56

4^F推CoNsTaR: 剛剛回去看了一下那些影片，發現可能不是太適合初學者，12/14 06:27

5^F→CoNsTaR: 因為貌似錄影錄得並不完整，沒有概念的人可能很難貫通12/14 06:27

6^F→CoNsTaR: 記得我當初開始認真的學關於程式的邏輯是看 Carnegie Mel12/14 06:27

7^F→CoNsTaR: lon 大學 Robert Harper 的 open course 的樣子12/14 06:27

8^F→CoNsTaR: 還有 conceptual mathematics 也是一本很不錯的啟蒙書，12/14 06:27

9^F→CoNsTaR: 參考看看12/14 06:27

[講者] 東京Lisp Community Organizer佐野先生

[ PLT ]5 留言, 推噓總分: +4

作者: Danielviolin - 發表於 2017/12/04 07:25(8年前)

1^F推CoNsTaR: 推可惜現在人不在臺灣沒辦法參加…12/04 08:15

5^F推CoNsTaR: 請問會有影片紀錄嗎？無法參加到 QQ12/05 01:36

[問題] 為啥高階語言的hello world跟機器無關?

[ PLT ]23 留言, 推噓總分: +10

作者: nnlisalive - 發表於 2017/09/08 04:33(8年前)

9^F推CoNsTaR: 你講的不就是編譯器在做的事嗎…09/08 22:37

16^F推CoNsTaR: 樓上，語言和算法是兩個完全不同的東西吧 = =10/16 05:46

17^F→CoNsTaR: 還有抽象化是忽略整體的一部分，有助於將不同的東西歸類10/16 05:46

21^F推CoNsTaR: 語言也是跨越各種演算法的啊…12/04 08:18

22^F→CoNsTaR: 而且不管高不高階，語言本來就是跨越機械的不是嗎12/04 08:18

23^F→CoNsTaR: 我是指在有對應的編/組譯器的情況下12/04 08:21

[問題] ASL語言問題

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

作者: k8378988 - 發表於 2017/04/18 20:09(8年前)

1^F推CoNsTaR: 去C/cpp版問問看那邊應該有很多這方面的高手04/19 16:20

[問題] 關於強型態語言定義的問題

[ PLT ]10 留言, 推噓總分: +3

作者: cat99961 - 發表於 2017/01/19 21:34(9年前)

1^F推CoNsTaR: 1. 在有 subtyping 的情況下是不對的01/19 23:15

2^F→CoNsTaR: 例如數字 2 是 Integer 也是 Number01/19 23:15

3^F→CoNsTaR: 2. 在 type 是 first-class value 的語言中是不對的01/19 23:15

4^F→CoNsTaR: 3. 我猜他指的是類似 C 語言的 union 的東西01/19 23:15

5^F→CoNsTaR: 維基百科說強、弱型別沒有明確的定義01/19 23:21

6^F→CoNsTaR: 不過我私心認為會在編譯時期做 type check 的語言就屬於01/19 23:21

7^F→CoNsTaR: 強型別了01/19 23:21

8^F推CoNsTaR: 我發現我回錯版了我以為這是 C 版 orz01/19 23:45

9^F→CoNsTaR: 那 3. 指的應該是 Haskell 的 either 吧～01/19 23:45

首頁

尾頁