サクサク読めて、アプリ限定の機能も多数!
「世の中には、インタフェースや実体は同じだが、意味が違うために異なる型になっているモノというのがある。静的型の検証は、そういう「意味」を表現できる」
rgfx のブックマーク 2013/03/12 10:56
古くて新しいGUI座標系の型の話「世の中には、インタフェースや実体は同じだが、意味が違うために異なる型になっているモノというのがある。静的型の検証は、そういう「意味」を表現できる」2013/03/12 10:56
このブックマークにはスターがありません。 最初のスターをつけてみよう!
blog.jmuk.org2013/03/12
こないだからの話題にちょっと関連する話として、さいきんChromeOSの仕事で手伝っていたマルチディスプレイ対応の機能について解説しよう。 現在販売されているChromebookには何らかのかたちで外部ディスプレイに...
27 人がブックマーク・7 件のコメント
\ コメントが サクサク読める アプリです /
「世の中には、インタフェースや実体は同じだが、意味が違うために異なる型になっているモノというのがある。静的型の検証は、そういう「意味」を表現できる」
rgfx のブックマーク 2013/03/12 10:56
このブックマークにはスターがありません。
最初のスターをつけてみよう!
古くて新しいGUI座標系の型の話
blog.jmuk.org2013/03/12
こないだからの話題にちょっと関連する話として、さいきんChromeOSの仕事で手伝っていたマルチディスプレイ対応の機能について解説しよう。 現在販売されているChromebookには何らかのかたちで外部ディスプレイに...
27 人がブックマーク・7 件のコメント
\ コメントが サクサク読める アプリです /