https://twitter.com/kinaba のログ (twilog の方が便利です。)
| https://t.co/sekkCC2QB0 読んでた。CSSの形式意味論をSMTソルバに流し込みやすい形で与えたので、例えば"どんな画面サイズにしてもこの要素とこの要素が重なって描画されることはない"とか他何でもレイアウトに関する論理式を静的検証できて夢が広がるという話 | |
| あと https://t.co/zRfLcvCkFu Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers はすごく気になるので早く具体的なコードみてみたい… | |
| @filil font metricsは扱ってないと書いてあったのでたぶんその辺は全部適当なんだと思うます。（たぶん結構きついsubsetだと思う） |