05:12:00
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
05:14:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 04:50:05 ロジーとED治療薬の投稿
brsywe@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
06:19:50
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
06:20:15
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ご愛顧感謝クーポンは年間利用額か何かで割引率が変わるらしい
06:22:12
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
06:22:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
06:22:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
06:26:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
DLsite 年間6桁マンはそこそこいるみたいだけど、7桁マンが見当たらないな……
06:42:12
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
そういえばEver Givenさんどうして片側だけEvergreenさんなんじゃろ
06:43:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
%E3%82%A8%E3%83%B4%E3%82%A1%E3%83%BC%E3%82%AE%E3%83%B4%E3%83%B3
06:43:58
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
しかも姉妹艦が EVER GOLDEN とか、そっちは色でも船なのかよと (ややこし)
07:11:51
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
マンツーマンを「ワンツーマン」と勘違いしている事例を初めて観測した
07:13:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
体操服の下の肌着など 長崎県内の37小学校で着用禁止 | NHKニュース
12:13:36
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
12:24:22
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 12:23:58 するすすの投稿
su_rususu@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
12:35:13
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
12:35:14
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
15:00:57
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
16:25:01
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
また労働で C++ 規格書の †いい話† を聞いてしまって泣いてる (しょーもないけどいい話だった)
16:25:37
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 16:16:02 無宛@零月のラウラ良かった……の投稿
LwVe9@mstdn.poyo.me
このアカウントは、notestockで公開設定になっていません。
16:55:20
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 16:23:37 #weepjp M²鯖の投稿
weepjp@miyon.miyon.org
このアカウントは、notestockで公開設定になっていません。
16:55:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 16:28:27 めたの投稿
metalefty@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
16:55:31
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 16:28:40 めたの投稿
metalefty@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
16:55:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
16:56:31
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 16:52:06 埼玉ギャル(仮)の投稿
sota_n@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
16:56:49
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
17:27:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「ストレス耐性」の強い人ばかり採用してよいのか〜メンタルヘルス重視時代を反映したこの採用基準の是非〜(曽和利光) - 個人 - Yahoo!ニュース
18:22:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
なーにが社会人じゃ
労働者と言え (うるさいオタク並感)
18:22:36
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
18:22:39
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
18:23:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
18:31:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
中クリック、WM_MBUTTONナントカとして大昔からウインドウメッセージとして用意されてるのに、いまだに有効な使われ方をしていないのはもはや文化としか言いようがない
18:31:32
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
マウスドライバの設定にもよるけど、マウスホイールを押し込める機能がついてるマウスは中クリックできるんだけどなあ。
18:31:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ゲームだとWindowsでも中クリック有効活用されてるやつわりとあるのにデスクトップだと有効活用されてるのほぼ無い感じなの、ほんと勿体無い><
18:33:09
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
中クリック、結局のところセマンティクスが共有されていないとか、安物ホイールだとクリックと一緒にスクロール入力が入ってしまうとか、ボタン押下に必要な力が他のボタンより強いことが多いとか、逆にスクロール時の誤入力のおそれがあるとか、そもそも安物はミドルボタンないこともあるとか、使わず済むデザインにする理由はいろいろあるよね
18:33:47
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあでも実際のところ中クリックが汎用 UI で活用されているデスクトップアプリケーション、ブラウザくらいしか知らない気はする
18:34:55
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
X window system 限定の話をすると、 middle click は selection clipboard からの paste になるので割と汎用的に使ったりするんだけどね
18:37:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
18:39:00
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあ Enter は copy mode であるという文脈を踏まえれば範囲決定の意味として自然ではあると擁護できそうではある…… (ほんまか)
18:39:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
むしろタッチパネル時代になって、中クリックどころかボタンは1つだけと同等仕様のUIが求められてしまい…
昔のMacかよと。
18:46:32
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
中クリックってそもそもトラックパッドでできない時点であまりにも論外では…?
18:46:36
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
実はトラックパッドで中クリックできます(ただしメーカーとドライバ依存)とかいう流れありそう
18:47:03
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
トラックパッドは2本指タップで右クリック、3本指タップで中クリック、2本指ドラッグでスクロール、というのがデファクト標準よね
18:47:58
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
MOZ_USE_XINPUT2=1 で起動した firefox とかすごいですよ、2本指でドラッグすると左右上下斜めあらゆる方向へのスクロールが連続量でできる
18:48:39
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
18:54:27
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
X の selection clipboard は C-c / C-v と別のクリップボードであることが初心者にとって混乱のもとになりがちなので、まあ積極的に押し出すような機能でもないかなという感覚でいる
18:55:20
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
そういえばこれは豆知識ですが、 Windows のウィンドウの左上 (タイトルバー左端) にアプリケーションのアイコンがあると思うけど、あれダブルクリックするとウィンドウ閉じられます
18:56:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 18:55:27
の投稿
mewl@mewl.me
このアカウントは、notestockで公開設定になっていません。
18:56:55
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
タブ付きのファイラだと「新しいタブでディレクトリを開く」みたいなこともできることがある (アプリケーション次第だけど)
19:03:50
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
普通は Forward / Back (履歴の前後へ行けるボタン) が付いてるわね >5ボタンマウス
19:05:36
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
インドッズでの3本指クリック等の設定、タッチパッドが接続されていないと変更できないっぽいんだけど、ここで地獄案件として「ラップトップクライアントからデスクトップサーバへ RDP 接続したとき、デスクトップ側の3本指クリックの挙動を変更できない」というクソがあります
19:05:52
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 16:04:56 Ivan Molodetskikhの投稿
YaLTeR@mastodon.technology
このアカウントは、notestockで公開設定になっていません。
19:06:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Half-Life みのある画やなぁと思ったら Half-Life だった
19:19:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
19:29:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 19:24:46 B̅の投稿
cmplstofB@mathtod.online
このアカウントは、notestockで公開設定になっていません。
19:29:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
19:30:48
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
その契約が遵守されていることの確認を自動化できるところが静的解析の価値であって、「検査をちゃんと書けば信頼できる」というのはそれ自体真実ではあるが、静的型付けと動的型付けの比較の文脈では有意義とはいえないような
19:35:29
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
静的型が、コードの品質を高める方法として本当に優れたものだと言えるのでしょうか? CやC++の歴史に引きずられているだけということはないですか?
19:40:51
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ていうか、動的と静的の違いはつまり実行前に行うか、実行時に行うかの違いなので、たとえば「動的環境でも、主目的のコードを一切動かす前に全て型検査するコードを確実に走らせれば検査できるよ!」とか言い出したら、「それ、静的検査の再発明じゃん・・・><」だよね感><
19:45:19
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
そういう方々には sanitizer とかの概念を知ってほしいわね
19:46:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
動けばいいじゃんで動かなかった/動かなくなったコードに無限に苦しめられてきた私怨は多分にありそうね……
19:48:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
私に無関係でどうでもいいところで使うぶんには止めないけど、ワイのマッスィーンからは可能なら排除したいという気持ちは常にある
19:48:41
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
冗談でなく「なんやこのツール npm ないと動かんのかい、絶対インスコせんとこ」みたいなのは日常的にある
19:48:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
これ、とてもメタで、静的型検査ってつまり「誤りは出来うる限り実行前に検出され排除されるべき」なわけで、動的型付けの発想が誤ってるのであれば、当然のように動的型付けによる被害を避けるためにその誤りを指摘し排除する行動するのは当たり前かも><
一方で動的型付けは「とりあえず動かしてみたらいいじゃん」なわけで、型システムの問題に対しても静的型付け好きな人ほどは積極的な意見表明をしないのも当然かも><
19:49:21
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
そういえば shift left という概念あったわね
19:51:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ようはガッチリした厳密さを求める人が静的型付けを好むわけで、静的型付けと動的型付けの長所短所の話も同様にガッチリと目的のコードを書く前にはっきりさせたがるのは当然><
19:51:47
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 19:48:35 もちゃ(あと-14.14Kg)の投稿
mot@mastodon.motcha.tech
このアカウントは、notestockで公開設定になっていません。
19:52:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
誤っても気にならないプログラムがあるのは確かにそうで、それは大抵個人用の長期間持続しなかったり手作業込みを前提としたものになりがちだと思うんだけど、他人の書いたコードを使うとき「誤ってて気になるかどうかを決めるのは俺だ、勝手にオメー (開発者) が決めんといてくれ」の感情はある
19:53:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
というか私はライブラリ書きがちな人間なのでその辺りの偏りが特に強いんだよな。ワイのコードの重要性を決めるのはワイではない。
19:54:55
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
それ「テストが仕様を正しく表現できているとは限らないんだから、テストでプログラムが堅牢になるという言説は疑わしい」と同じ構造では?
19:55:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
前半は確かにそのとおりだが、テストが常に誤っていて無意味なわけではないのだから、検査が加わることには価値があるし実世界でも確かに役に立っている
19:56:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
型が必ずしも仕様や意図を正確に表現できるわけではないが、常に誤っているわけでもないのだから、型で弾ける不整合を弾くことには実効性がある
19:57:03
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
コスパをどう評価するかはまた別の面倒な話ではあるけど。どっか漁れば研究があるんだろうなぁ
19:57:52
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
これはめちゃくちゃ雑で恣意的な話をするんですが、文字列のつもりで「yes」という値を突っ込んだら boolean の true になった、みたいなの心底アホくさくない? という
19:59:01
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ここで「ワイが欲しいのは文字列やねん、 boolean ちゃうわ」と先に言ってほしいのは当然だし、それを if と typeof などによるロジックで検査するよりも foo: string のように書けた方が “良い” というのもごく自然な話に思える
20:00:21
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
もちろん、検証したいスキーマ自体が動的に与えられる場合なんかはまた話が変わってくるわけだけど
20:04:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:04:38
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:05:15
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
たとえば証明器なり型検査器が間違っていることは当然あると思うけど、それは動的型付き言語で無数のプログラマが独自に書くオレオレ検査より信用できると思う
20:05:35
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
人の目とテストケースがひとつの実装に沢山あつまるからね
20:06:21
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
あるいはデザインや制約を型に落とし込む段階で不十分だったりすることもあるかもしれないけど、それでも少なくとも静的検査のレベルで「弱い型付きの言語より状況が悪くなるということはない」のは言えるよね
20:08:19
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
個人的な印象の話をすると、静的型付きより動的型付きの方が良いとしている人が挙げがちなメリットが「当然そのとおりであることに、いちいち明示的に保証を書かずに済む」みたいな話に聞こえて、まあそれは「本当に保証するまでもなく成り立つならそうだろうけど……」という感想になってしまう。
人間ってそんなに信用できるか?
20:09:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
や、人間を思いっきり信用していいんだという世界観のコンピュータで実行する分には好きにすればいいと思うんだけど、私はその世界観で動くプログラムは使いたくないし書くつもりもない、そういう話
20:10:00
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「思いっきり信用」の範疇に含められるの、ギリギリでユーザ兼開発者としての自分くらいよね (まあユーザとしての自分も信用できるかというと……お察し)
20:10:32
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ていうか、「型検査は何を検出し、何を排除できるのか?」は、一言で言うと「型の不整合を検出できる」かも><
「型の宣言や設計等が不適切である問題は、それは型検査によって検出できないではないか?」という疑問は正当で、それはその通り><
なので、単純に静的型システムの環境を使う『だけ』で防げる減らせる事は「実行時に起こる型の不整合による想定外の動作」だけとも言える><
20:10:59
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
オッ、不健全な型システムで発生する実行時例外の話をしますか! (話を混乱させるマン)
20:11:19
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
事あるごとに共変な配列型を持ち出すオタク、性格が悪すぎる
20:12:44
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
あと「エラー」の話をするときに「例外が飛ぶのは規定された動作なんだから (hard な意味での) エラーではない」みたいな話の展開をする人もたまにいるんだけど、そうじゃないでしょ……という感じにはなる
20:17:23
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
検査したくなければ型消去できるからな…… std::shared_ptr<void> みたいに
20:18:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあ duck typing みたいなのは (可能ではあるが) ボイラープレートちょっと増えるけど、それは単にプログラムが正常に動くための事前条件が明示されているか否かの違いに過ぎないような
20:21:12
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ダックタイピングできるかどうかと動的型付けであるか静的型付けであるかは、厳密な話で言うと直接は関係ない><
20:22:29
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
こう、「明示したくない」とか「考慮を保留したい」をいろいろな表現で言っているだけの場合があったりして、話をまとめるのが難しいんだよな (個人の感想)
20:24:38
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:24:59
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
マズいことをしたら例外が飛んだり異常終了するので想定外の挙動は起きません、というのは……
20:25:20
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:27:19
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「失敗してもやり直せばええ」「次の自分は正しいデータを与えられる」というのは、単純に「保証の責務をプログラムでなくユーザが担っている」というだけの話で、それ自体は (特に一時的だったり極めて個人的な用途では) 否定するようなことではないけどね。
20:29:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
崖沿いの山道をガードレールなしで走ったって正しく運転している限りは問題ない、それはそう。
ただ私は他人がそういう運転をする車に乗りたくないし、自分がそういう運転をしているとき他人を乗せたくない、そういう程度の話
20:30:22
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ブレーキの壊れた自転車に乗るのだって、行動範囲に他人が一切存在できなくてぶつかって壊れるようなものもないのであれば、好きにすればええ
20:31:24
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ただ、私はガードレールのない崖っ縁の道路やブレーキの壊れた自転車を「良いものである」とは決して言わないでしょうね。ろくでもないと酷評するでしょう
20:32:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
そんな全か無かの安全神話みたいな話、既に10年前に有害だと示されたのでは?
20:32:53
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
型があれば絶対安全とか言ってる輩がいたら三流どころじゃないよ
20:35:04
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ガードレールがあるからといって安全というわけではない、それはそうだけど、ガードレールという製品が一般に安全を目的として作られており、正しく施工したらば世間一般で受け入れられる程度には安全装置として有効であろう、という期待があわけよね。
型検査も同じで、型システムという共通の理論的基盤が人々の目に晒され、実用コードでテストされているからこそ、万全でないにせよ「それなりに役立つし、役立たないシステムは低評価を受ける」という指標が発生する
20:35:26
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
C 言語なんかは挙げるまでもない一例で、「ないよりマシだが欠陥が多すぎる」とちゃんと酷評されているわけ
20:35:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:36:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Haskell なんかで冗談混じりに (冗談ではないけど) 言われるのは「静的検査が強力で自明なバグはほぼ排除できるが、そのぶん実行時エラーは非自明でデバッグが難しい」なんて話もあるよね
20:37:22
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ここでポイントは「静的検査がなかったら注意深くコードを書くから Haskell で起きるような非自明で難しいバグは発生しづらい」なんて話を真に受ける奴はいないというところ
20:38:01
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ていうか><
型システムは『ガードレールそのもの』では無く『ガードレールを構築するための仕組み』である事に注意すべきかも><(超重要><)
20:42:51
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあビジネス的な観点も含めて安全性への投資をビジネスロジックと同様に段階的に行うべきだという話なら、 gradual typing あたりの話は把握しておいた方が有益でしょうね
20:43:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
私はあまり好きではないけど、めちゃくちゃ有用なのはわかる
20:44:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
社会に強要してはいないけど、悪いと思うものを批難して正しいものを使うよう人々を啓蒙するのは真っ当な政治的アクションだし、それにまで文句を言われてもむしろ「文句を言わないことを強要されている」ようにしか感じられないので……
20:45:06
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
権力を濫用して「動的型付きを禁止します!」なんてことしてる人、そうそういないと思うんだよなぁ (そもそも開発者がそんなに権力を持っていることの方が稀)
20:46:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 20:44:54 sabikinの投稿
sabikin@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
20:47:17
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
同一の結論に達しないとき、事実や原理や評価関数などの前提に不一致があると考えてそこの差分を明らかにしようとするのはごく普通の議論だと思うんだけどね
20:49:21
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 20:48:28 sabikinの投稿
sabikin@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
20:49:44
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「俺は使いたくねえ」で使わずに済むうちは幸せだけどね……
20:50:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ウェッビやリモートサービスがある以上そんなことは言っていられない
20:51:31
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
べつにその真っ当な利点や動的型付き言語が輝く状況が存在することについては否定してないような
20:51:49
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
同一の結論に達しないとき、事実や原理や評価関数などの前提に不一致があると考えてそこの差分を明らかにしようとするのはごく普通の議論だと思うんだけどね
20:52:28
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「ガバくても有用な場面はある」と言われるとそうだねその通りだねと言わざるを得ないんだけど、「ガバくねえよ!」と言われると「いやガバいやろ」としか言えなくなるし、後者の意見を異様によく聞くので……
20:52:32
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:54:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
私だって実社会での応用のうえで動的型付き言語やフレームワークを使うことが有意義である場面があることは承知しているし、だからこそ苦い顔しながら python のスクリプトを読んだりしているわけですよ……
20:57:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:59:00
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
や、保証がないというのは不正確で「当該バージョンではそのような挙動になっているが、その持続についての確信はできないにも関わらず確信する人が多かった」と表現すべきかもしれないけど
21:00:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:01:05
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
これは表現力の強弱の問題なので当然静的型付き言語でも発生しうるもので、たとえば型のメモリレイアウトなどは一般に保証が薄いことが多いので「型のメモリレイアウトが変わったら ABI が壊れた」みたいな事故を防ぐのは難しかったりコストがかかったりする
21:04:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 21:03:59 skiaphorusの投稿
skia@mstdn.poyo.me
このアカウントは、notestockで公開設定になっていません。
21:04:35
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
参照が暗黙な言語はことごとくクソだと思っている (そして大部分のスクリプト言語がそう)
21:04:40
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:06:31
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
C みたいにポインタが明示されていればデフォルトが deep copy でもその走査がポインタで切れるのは自明なのに、参照と値そのものを透過的に扱おうとするから解釈が厄介になる
21:07:02
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Java か何かの文脈で「参照の値渡し」みたいな謎概念を発明してる人々を見るとアッ……という顔になる
21:08:00
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
動的型付きと言ってるんだから字句を素朴に解釈すれば型が付いているのはそれはそう
21:08:35
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
シェルスクリプトはほぼすべての値に文字列型が付く静的型付き言語です (白目)
21:08:37
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 21:08:28 skiaphorusの投稿
skia@mstdn.poyo.me
このアカウントは、notestockで公開設定になっていません。
21:08:57
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「アクセス時に自動的に dereference されるようなポインタ型」だと思ってる、まああっちの界隈の人々の考えることはわからんけど……
21:09:26
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:10:47
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
塊魂やりたいんだけど、 PS3 持ってないし PS Now 加入してないし Wii も Switch 持ってない、かなしい
21:12:39
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 21:12:27 skiaphorusの投稿
skia@mstdn.poyo.me
このアカウントは、notestockで公開設定になっていません。
21:13:09
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
もう話してる人のレベルが入り乱れすぎてて、ちゃんと仕様読むしかないんでしょうね……
21:13:39
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Java マンに鉞投げるために Java 仕様読むの、さすがに嫌だわ。ワイの QoL 向上に貢献しないし
21:13:50
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:20:15
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 21:19:23 ウンチーオウムの投稿
poop_parrot@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
21:20:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 21:19:53 エアダスターの投稿
toshi_a@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
21:20:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 21:18:44 VALTAXの投稿
baltan78@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
21:20:50
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 21:18:06 skiaphorusの投稿
skia@mstdn.poyo.me
このアカウントは、notestockで公開設定になっていません。
21:27:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
エアイペックス
レジェンド: ケービー
戦術: 射精(チャージ 30min)
ウルト: 放尿(チャージ 6h)
パッシブ: 貧乳イラストを検知
21:27:36
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
kb10uy (@kb10uy@mstdn.maud.io)
21:42:57
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:44:37
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ブラハの 同士よ が どうしよう に聞こえるやつかなり好き
21:44:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:46:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「どうしよう……リングが縮小している……中には誰もいない」を聞くたびに「お前そんな慌てるようなキャラだったか?ww」となる
21:47:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:47:57
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
kb10uy (@kb10uy@mstdn.maud.io)
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
21:48:12
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:49:57
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:50:00
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:57:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:57:48
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:57:49
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 21:57:06 大破の投稿
musashino205@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
21:57:51
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
22:31:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
22:56:03
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2021-04-01 22:39:35 nukosuの投稿
nukosu@pao.moe
このアカウントは、notestockで公開設定になっていません。