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

[問題] Agda 的 instance resolution

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

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

13^F推xcycl: Agda 的 reflection 只有在 type-checking 階段發生09/05 10:34

[問題] 請問main()和main(void)的差別

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

作者: pandaren0905 - 發表於 2020/05/27 18:39(5年前)

1^F推xcycl: C/C++ 的函數不是數學意義上的函數，是隱含帶有一個狀態05/27 20:29

2^F→xcycl: 到狀態的函數05/27 20:29

[問題] 台大資工 PLT 研究教授推薦

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

作者: fayhong - 發表於 2018/10/31 15:43(7年前)

1^F→xcycl: 台大不清楚，但中研院有程式語言實驗室，可以共同指導吧11/05 19:34

5^F→xcycl: 建議直接寫信給有興趣的學者討論可能性...11/13 05:36

[情報] 2018 FLOLAC 邏輯語言計算研習營

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

作者: jaiyalas - 發表於 2018/05/26 22:13(7年前)

2^F推xcycl: 應該是 https 的關係，只有 http 可以連 QQ05/27 07:28

[閒聊] 物件導向的 Multi-dispatching

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

作者: ronin728 - 發表於 2016/11/08 18:01(9年前)

3^F推xcycl: a la carte 那篇開宗明義就說是處理 expression problem ;)11/10 15:06

[問題] 請教高手大大解謎，一串我看不懂的東西

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

作者: Tataka - 發表於 2016/08/04 14:55(9年前)

1^F推xcycl: 組語08/05 05:15

[情報] Functional Thursday #35

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

作者: CindyLinz - 發表於 2016/01/28 15:21(10年前)

12^F→xcycl: 在 Okasaki 書中學到的嗎？01/30 06:53

[問題] Lattice Theory在PLT的重要性？

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

作者: carelai - 發表於 2015/08/08 00:29(10年前)

1^F推xcycl: 看數學程度，order theory 如果覺得簡單或學過的話，可以08/08 01:18

2^F→xcycl: 自己自修 domain theory 跟 denotational semantics。反之08/08 01:18

3^F→xcycl: 則可以修修磨練一下，但有開設的學校應該不多吧？08/08 01:18

10^F推xcycl: 以 Wikipedia 上描述的 order theory 幾乎整個理論 CS 都會08/10 05:35

11^F→xcycl: 用到，l像是自動機，程式語意，邏輯，到處都是...但也不是08/10 05:36

12^F→xcycl: 特別困難就是了08/10 05:37

13^F推xcycl: Domain theory 是 order theory 的延伸，continuous lattic08/10 05:39

14^F→xcycl: es 通常不會在 lattice 的教材出現，概念不大一樣。08/10 05:39

[問題] lambda演算的水有多深？

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

作者: carelai - 發表於 2013/11/17 23:14(12年前)

6^F→xcycl:Barendregt 寫的入-Calculus: Its Syntax and Semantics11/22 11:50

7^F→xcycl:想看大部頭的磚塊可以看看11/22 11:51

Re: [問題] Free Monad 是怎麼來的？

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

作者: joshs - 發表於 2013/10/30 22:10(12年前)

4^F→xcycl:我才是太隨便的人啦 QQ10/31 00:56

作者查詢 / xcycl