orange
さんがブースト
その契約が遵守されていることの確認を自動化できるところが静的解析の価値であって、「検査をちゃんと書けば信頼できる」というのはそれ自体真実ではあるが、静的型付けと動的型付けの比較の文脈では有意義とはいえないような
orange
さんがブースト
orange
さんがブースト
> 動的データ型言語を使いながら、静的データ型言語以上に信頼性が高いプログラムを書く手法は80年代には確立しています
> 動的データ型言語でも信頼性が高く、セキュアなコードが必要とされる場合は契約による設計／契約プログラミングを利用すれば可能
https://qr.ae/pG88t5
マジか。UNIX shellで活用したいな。
ていうか、XBUTTON1とXBUTTON2に対応すれば戻ると進むを自分のWindowsアプリにシステム標準的な設定で対応できるわけだから、Windowsアプリつくる時は忘れないようにするといいよね感・・・＞＜
Windowsで5ボタン対応が忘れ去られがちなのの同じく、AndroidでもそこらのAndroid端末に無かったりキーボードにも用意されてないようなボタンにちゃんと対応してるアプリと対応してないアプリがあるの、せっかく開発環境でのエミュレータでハードウェア持って無くても試せるのになんだかな感＞＜
ていうか、ロジクールのマウスドライバの標準設定だと、XBUTTON1とXBUTTON2を投げるように設定されてるっぽいし（いま試した）、C# の少なくともWinFormsでも(アンマネージドなコードに頼らなくても)XBUTTON1とXBUTTON2を受け取れるし、普通に対応すればいいと思う・・・＞＜
Delphi使ってた頃はオレンジはちゃんとそれで対応してたような記憶ある＞＜
orange
さんがブースト
WM_XBUTTONナントカでXBUTTON1とXBUTTON2フラグがある（なお使ったことがないのでわからん）
orange
さんがブースト
ご存知でしたか：実はWindowsはだいぶ昔から 5ボタン マウスまで対応しています。
わりとそっち使う事が多い＞＜；
（TOWNSユーザーでTOWNS OS 2.xはWindowsとボタン配置がちょうど逆で、左上が閉じる、右側がWindowsの左上と同じなので左上で閉じるのになれた＞＜）
orange
さんがブースト
そういえばこれは豆知識ですが、 Windows のウィンドウの左上 (タイトルバー左端) にアプリケーションのアイコンがあると思うけど、あれダブルクリックするとウィンドウ閉じられます
orange
さんがブースト
うちも3本指タッチが中クリック割当可能でした（検証済）。
orange
さんがブースト
トラックパッドは2本指タップで右クリック、3本指タップで中クリック、2本指ドラッグでスクロール、というのがデファクト標準よね
3本指でタップ＝中ボタンなのが主流かも？＞＜
orange
さんがブースト
実はトラックパッドで中クリックできます（ただしメーカーとドライバ依存）とかいう流れありそう
ていうか、Windowsの場合はほんとは昔から1ボタンでも操作できないと駄目だし、それどころかキーボードのみでも操作できないと駄目で、さらに（文字入力以外は）ポインティングデバイスだけでも操作できないと駄目かも＞＜
（Windows95辺りでも＞＜（MSも一部守って無いけど＞＜；））
orange
さんがブースト
むしろタッチパネル時代になって、中クリックどころかボタンは1つだけと同等仕様のUIが求められてしまい…
昔のMacかよと。
具体例でいま思いついたけど、オレンジがいま自分で作って自分で使ってるメモリクリーナーアプリの、メモリ使用量グラフ部分を中クリックしたら別ウィンドウとしてポップアウトできるようにしたら便利そう＞＜
（グラフをポップアウトする機能はつけようとしてたけど、どういうUXにするかはまだ考えてなかった＞＜）
ウェブブラウザと同じ挙動（新しいタブやウィンドウで開く）をウェブブラウザ以外のアプリで似た意味になる部分に採用するのはありかも感＞＜
- ＠orange_in_space
2017年 4月に登録
