これっぽさ＞＜；
モテる女子力を磨くための4つの心得とは (スクイヨウガナイとは) [単語記事] - ニコニコ大百科 https://dic.nicovideo.jp/a/%E3%83%A2%E3%83%86%E3%82%8B%E5%A5%B3%E5%AD%90%E5%8A%9B%E3%82%92%E7%A3%A8%E3%81%8F%E3%81%9F%E3%82%81%E3%81%AE4%E3%81%A4%E3%81%AE%E5%BF%83%E5%BE%97
orange
さんがブースト
おしがま？ #いいえ
https://howcollect.jp/m/article/62024
> 家デートをしていて、彼がトイレに行こうとして後ろを向いたタイミングで抱きつくのもよいですね。
この前なにかWindowsのコンソールアプリを作るのに「ひさしぶりにVC++使おう！＞＜；」って作ろうとして、コマンドラインパラメータの処理となんかAPIに渡す文字列の型が違って、こんがらがって諦めた・・・＞＜；
orange
さんがブースト
C++の文字列型が乱立状態ホントなんとかして欲しい
標準の文字列型がある事は素晴らしいけど、それはそれであって、状況に応じた文字列型が用意されていたりユーザーが(できれば簡単に)新たな文字列型を作れる仕組みって、型安全の視点で見たら大切かも＞＜
文字列を表現する型、いくつもある方式の方がよさそう＞＜(Ada的発想＞＜(Adaの仕様そのものじゃなく))
orange
さんがブースト
そもそもの文脈は「文字列を表現する型がやたら多いのはスマートでない」という言説についての思うところなのでもっと違う
orange
さんがブースト
型推論てか広義には型推論なんだろうけど、よーするに「動的型付き言語のコードにそれっぽく自動的に型を与える (ただしそれが開発者の意図に似うものかは保証しない)」みたいなやつの話
orange
さんがブースト
型推論とは別の話をしています (ややこしくてｽﾏｿ)
それは同意かも＞＜
orange
さんがブースト
だから何なのかというと、原著者にせよ開発者にせよ「意味論の正しさを保証する」という点において最後の砦となるべき人々がその正しさの保証に無頓着なようでは、そういう人々が生成するコードや文書もそもそも雑すぎて信用できたもんじゃねえしスタンスとしてよろしくないと考えているという話です
orange
さんがブースト
orange
さんがブースト
有害で有用ってのはつまり、「真逆の意味を読み取ってしまう可能性もあって危険だけど、今回のケースではたまたま問題がなかった」というようなケースがあるってこと
ていうか、メタな事にさっきオレンジが「名前空間？＞＜(？)」「違うかも」「oh...><; 」も投機的で非同期なあれじゃん？＞＜；
オレンジ的には型推論すごく嫌ってるけどそれはそれとして、誰かが指摘できるのであれば指摘すればいいと思うし、暫定的な状態を完全に否定したら前に進まないし、物事を非同期に進める事が困難になってあちこちで待ちが生じまくりになると思うかも＞＜
(CPUの投機的実行もそういう発想じゃん？＞＜)
orange
さんがブースト
たとえばプログラムにそれっぽい型とか制約が自動で貼り付けられたとして、それを精査して正しさの確信を与えるような人なんて “神経質” な一部の人だけですよ。まあ静的型付き言語界隈はそういう神経質な人がまあまあ多いので逆に期待できてしまうわけだけど……
orange
さんがブースト
orange
さんがブースト
たとえば機械翻訳とかの例が手っ取り早いんだけど、あれ使って雑に英語読んだ気になってる人たちは答え合わせなんてせず大嘘のキャプチャ画像を Twitter に放流したりしてるので。そういうことですね
orange
さんがブースト
人間、まず答え合わせなんてしないので。推論結果が出たらだいたい雑にそのまま使うでしょ
- ＠orange_in_space
2017年 4月に登録
