2008-04-28から1日間の記事一覧

A Scala Calculus for Scala Type Checking

まあフツーの型付けの話.そりゃあそうでしょうとしか.いまいちピンと来なかったのは,Core Calculusだけだったからか,ちゃんと証明を読んでないからか.先日,バイオリンを近所で評判の工房で診てもらったんですが,そのときそこのおっさんが言ってたのが…

スター

なんでそこに食いつくんだよ.