作者查詢 / suhorng

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

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

限定看板：PLT

看板排序：

全部C_Chat5350Math2497LightNovel1315C_and_CPP1218NTU423Prob_Solve337trans_math282Programming222CFantasy183NTUcourse143PLT110ck-talk103studyabroad76TOEFL_iBT75b00902HW71Grad-ProbAsk59SENIORHIGH57SMSlife48ASM44b00902xxx37Shana37GRE28NTU-Exam23Soft_Job22DoubleMajor21CSSE19Army-Sir15logic15juniorhigh14PangSir14CSCouncil13C_BOO11CKEISC10b98902xxx9Nangang8PHP8Python8b04902xxx7Gossiping7graduate6KanColle6Kyoto_Ani6b98902HW4b99902HW4b99902xxx4CS_TEACHER4CSIE_WSLAB4joke4KS98-3024LaTeX4love-vegetal4Militarylife4NTUHistory024Sub_CS4SYSOP4AC_In3b01902HW3b01902xxx3BBSmovie3CompilerDev3IdolMaster3NTUMG3Shokugeki3Suckcomic3Translate-CS3AfterPhD2Agr-Football2asciiart2b02902xxx2ck-inforOLD2ck60th1282CodeJob2H-GAME2Isayama2Libra2NTUMEB012NTUSA2specialman2StupidClown2SummerCourse2Ajax1ArakawaCow1ask1Aviation1B00305XXX1B00310XXX1b974060XX1b97902HW1Beauty1bi-sexual1Buddha1Buddhism1Bus1Capricornus1civil971ck58th3241ck61st1031ck61st3221ck61st3261ckbc1ComGame-Plan1CompBook1CSIE_Service1Daan1dog1DragonNest1Electronics1Evangelion1Fallinlove1FCU-EES1FinalFantasy1Gamesale1GetMarry1historia1home-sale1HSNU_11431IMO_Taiwan1Jeremy_Lin1JYPnation1KMSH_MS981KNU1Koei1KS97-3021KS97-3101LamiGirls1Linux1love1LoveLive_Sip1marriage1MCU_Talk1MH1Military1mobilesales1NCCU1NCHU-FT-1011NCHU_CsHsnu1NDHU-LF981NIHONGO1Nogizaka461NPTU1NTU_Service1ntuACCT031ntuACCT041NTUBA041NTUDMCC1NTUEE1151NTUfin061NTUMath1001NTUMEB001NTUmed001NTUSFA1NTUST_Talk1NTUT_EE496B1Pangya1part-time1PC_Shopping1PCSH96_3061piano1Pisces1pity1PuzzleDragon1Queer_drama1Railway1RakutenGirls1sex1sky1SRW1StarTrek1Stock1Suckgame1SuperBike1TakahashiRie1TOEIC1TokyoGhoul1Transfer1transgender1TTU-EE991TTU-I90B1TW-GHONOR1TWopera1uniform1Unlight1USC1VISA1Visual_Basic1Wen-Shan1Windows1WOW1WuYiFan1Yabuki1YZU_EE95B1Zhongzheng1<< 收起看板(192)

首頁

尾頁

Re: [問題] What does ⊥-elimination do?

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

作者: joshs - 發表於 2013/03/06 04:49(11年前)

4^F推suhorng:逃避呀QQ..03/06 22:55

[問題] What does ⊥-elimination do?

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

作者: suhorng - 發表於 2013/03/05 22:37(11年前)

1^F→suhorng:另外..Haskell中好像沒有這個 "⊥" type?03/05 23:36

3^F→suhorng:CindyLinz: 喔喔好酷! 原來可以不給它 constructor03/05 23:41

[問題] 請問如何準備Haskell的考試?

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

作者: adu - 發表於 2013/02/14 05:04(11年前)

1^F推suhorng:好酷喔! 有開放網站資源可以看嗎XD 像是講義、投影片02/14 12:55

3^F→suhorng:偷推 IRC channel #haskell.tw02/14 19:05

[問題] call/cc 變數的值印出的結果應該是？

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

作者: suhorng - 發表於 2013/01/11 00:45(11年前)

4^F→suhorng:謝謝!! 所以是他的實做出錯了01/11 11:30

5^F→suhorng:我也覺得會影響到很奇怪..使用cont的時候應該要把目前的01/11 11:30

6^F→suhorng:evaluation context拋棄掉才對@@01/11 11:30

7^F→suhorng:可是我也沒有去研究 R^5RS 給的 formal semantics..01/11 13:15

[問題] Scheme call/cc

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

作者: suhorng - 發表於 2012/12/30 18:42(11年前)

3^F→suhorng:對耶完全可以這樣來取得12/30 22:12

4^F→suhorng:謝謝樓上上存起來後就可以亂用了XD12/30 22:12

[問題] '#'的意思

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

作者: etwas - 發表於 2012/12/30 17:24(11年前)

2^F→suhorng:是 Haskell 喔12/30 18:25

首頁

尾頁