古くて新しいGUI座標系の型の話

こないだからの話題にちょっと関連する話として、さいきんChromeOSの仕事で手伝っていたマルチディスプレイ対応の機能について解説しよう。 現在販売されているChromebookには何らかのかたちで外部ディスプレイに接続する機能があるが、古いバージョンではミラーリングしかできなかった。それじゃ役に立たないので、複数のディスプレイをくっつけるような拡張デスクトップの機能をサポートした（まぁ、今時どんなOSにだってはじめっから入ってるような機能ではありますが）。Chromeのバージョン25以降でこの機能がオンになっている。ところが、この機能がなかなかの難産だった。 もともとChromeはブラウザだったから、そのGUI部分はウィンドウ基準の座標系だけを気にするようなつくりになっている。一方、ChromeOSではAuraという独自のウィンドウマネージャを実装したが、Auraにはデスクトップがあるの

[raimon49]

倍密度ディスプレイとマルチディスプレイ　必読

[koroharo]

『世の中には、インタフェースや実体は同じだが、意味が違うために異なる型になっているモノというのがある。静的型の検証は、そういう「意味」を表現できる』

[cnosuke]

Send from iPhone.

[Wacky]

そうするためには、もともと単一ディスプレイしかなくてネイティブ座標系、グローバル座標系、スクリーン座標系がぴったり一致した世界だったところに変換を噛ませないといけない

[tatchimee]

最近話題の話へ。良し悪しあるよねって言う当たり前の結論だけど、すごく納得。Jun Mukai's blog: 古くて新しいGUI座標系の型の話

[mizchi]

メタ概念がどんどん増えていってコードにしわ寄せが来る話

[rgfx]

「世の中には、インタフェースや実体は同じだが、意味が違うために異なる型になっているモノというのがある。静的型の検証は、そういう「意味」を表現できる」