新しいものを表示

あと、静的型付け かつ 安全優先で型を明示的に書く事を好む人は冗長であろうとも明示的に書こうとする人が多いわけで、静的 vs 動的の話も、動的型付け好きな人は、ふわっとした感じの話で短く意見を書くけど、静的型付け好きな人は冗長になろうともより厳密な話に出来るように書くので、文章も長くなるし書く機会も増えて「静的型付け好きな人って型システムの話ばっかり長々してる!!!」ってなるのも当然かもだしこの文章もそんな感じにメタな事になっている><

ようはガッチリした厳密さを求める人が静的型付けを好むわけで、静的型付けと動的型付けの長所短所の話も同様にガッチリと目的のコードを書く前にはっきりさせたがるのは当然><

これ、とてもメタで、静的型検査ってつまり「誤りは出来うる限り実行前に検出され排除されるべき」なわけで、動的型付けの発想が誤ってるのであれば、当然のように動的型付けによる被害を避けるためにその誤りを指摘し排除する行動するのは当たり前かも><
一方で動的型付けは「とりあえず動かしてみたらいいじゃん」なわけで、型システムの問題に対しても静的型付け好きな人ほどは積極的な意見表明をしないのも当然かも><

orange さんがブースト

静的型が、コードの品質を高める方法として本当に優れたものだと言えるのでしょうか? CやC++の歴史に引きずられているだけということはないですか?に対するJunji Ueharaさんの回答 - Quora
jp.quora.com/%E9%9D%99%E7%9A%8

これとか雑な喩えだけど結構納得感はあるわね

ていうか、動的と静的の違いはつまり実行前に行うか、実行時に行うかの違いなので、たとえば「動的環境でも、主目的のコードを一切動かす前に全て型検査するコードを確実に走らせれば検査できるよ!」とか言い出したら、「それ、静的検査の再発明じゃん・・・><」だよね感><

orange さんがブースト

その契約が遵守されていることの確認を自動化できるところが静的解析の価値であって、「検査をちゃんと書けば信頼できる」というのはそれ自体真実ではあるが、静的型付けと動的型付けの比較の文脈では有意義とはいえないような

スレッドを表示
orange さんがブースト
orange さんがブースト

> 動的データ型言語を使いながら、静的データ型言語以上に信頼性が高いプログラムを書く手法は80年代には確立しています
> 動的データ型言語でも信頼性が高く、セキュアなコードが必要とされる場合は契約による設計/契約プログラミングを利用すれば可能
qr.ae/pG88t5

マジか。UNIX shellで活用したいな。

試すまでも無いかもだけどわざわざWPFでも試してみたけど、ちゃんと対応してた><

スレッドを表示

ていうか、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本指でタップ=中ボタンなのが主流かも?><

古いものを表示
:realtek:

思考の /dev/null