PkmX
@PkmX
male Taipei, Taiwan
National Chiao Tung University
Department of Computer Science
Google+
Types are propositions, and programs are proofs. If your program satisfies the type, it is a proof of the proposition.
Department of Computer Science
Google+
Types are propositions, and programs are proofs. If your program satisfies the type, it is a proof of the proposition.
PkmX
說
救人哦，scala的variadic argument（T*）和java的（T...）不合，這樣要我怎麼override java的class的method 
PkmX
說
https://i.imgur.com/Uis4h.png NCTU is now enlightened 
PkmX
說
突然發現計圖學有作業，而且deadline只剩下不到12小時 
PkmX
說
vim+scala+ensime+sbt+android混在一起用根本就大爆炸 
CoderDojo-Kata
PkmX
說
vm裡面的opengl突然再也沒辦法create context，害我以為是程式或library哪裡寫爛了，找了一個多小時以後決定把vm重開就一切正常了 
PkmX
覺得
我需要一個MaybeT IO () 
