typeful racket #
上學期 compiler 課上，好像就有同學報這個東西。（我找不到原文）
那時沒有要聽懂的意思，至今也不理解這樣做的意義。
勉強要說的話，就是拿 coding 的容易度去換 testing/compiling 的容易度。
程式語言 #
上週跟新朋友（非 CS）出去，他問我修什麼課。我報完，他挑了程式語言問。真不會挑。
我努力解釋說我們在寫 interpreter，還有 compiler 是什麼。他們聽得很暈。
然後才說到作業是用一個老師自己發明的奇ㄘㄢˊ怪ㄓㄤˋ的語言 plait。
但我後來聽 U 同學說這門課前年還是用 racket，去年才變這樣。
作業寫到爆氣 #
plait 這語言呢，就是把 racket 加上 typecheck，然後設一張語法白名單。
而這張白名單呢，上面沒有 isNum 函數，更不用說 getType，這兩個 Lisp 都有的東西。
偏偏寫 functional 就是一個誘發強迫症的過程，怎麼寫都很醜，讓我非常不爽快。
看來無法用正常方法解決，得努力想辦法 hack 語言。
但花很多時間，啥都做不出來。還以為我在打 ctf 呢，第一次覺得 ctf 是有用的技能。
–
※ 發信站: 批踢踢兔(ptt2.cc), 來自: xxx.xxx.xxx.xxx