新しいものを表示

NSAの内部告発をしたスノーデン氏の著作を「秘密保持契約違反」と政府が主張し売上の差し押さえを要求 - GIGAZINE gigazine.net/news/20190918-us-

未成年も同じ事するんだし、未成年キックで誕生日認証とかあれだよね><;

セキュリティ的にあれなので、云十年前から実際の誕生日とは別の認証用誕生日を用意してあるけど、最初にそれ決める時にちゃんとその時点で未成年にならない年月日にした><;

orange さんがブースト

人はなぜTwitterアカウントの誕生日を法人や施設、キャラクターの誕生日に設定したがるのか…sankei.com/west/news/190918/ws

掛け算出来るバナナ作りました!><

C#で61行のコード書いたよ!ブラウザ上でプログラミング・実行できるよ! コードは paiza.io/projects/WANamMow2Ghf

orange さんがブースト

C言語でも"hoge" + 1は計算できるよやったね!! ideone.com/e383IJ

orange さんがブースト

静的型が「サイズ上限のある整数」とか「整数と文字列を混同できない」程度の認識でやっているの、完全に「静的型付き言語は C しか知りません」と言っているようなものでしょ

で、そのtogetterでも巻き込まれてる(?)雪だるまの人のTaPL日本語版の書評が><
書評「型システム入門」 - 純粋関数空間 tanakh.jp/posts/2013-05-08-tap

オレンジはお金ないのでTaPL読んでないです><;

そういう範囲ですらなく型とは何ぞやレベルの話だと思う><;
TaPL日本語版が出る前はこういう議論わりと頻繫にあったのに、出たらぱったりなくなったのおもしろい><

orange さんがブースト

まだ最後までちゃんと読んでないけど、もしかしてここで動的型付き言語勢が言っている「静的型」って C 言語のプリミティブ型レベルの話しかしてなかったりする?

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

動的型言語のふわふわ感 - Togetter
togetter.com/li/163331

不気味なものを見てしまった……

変数(と関数)、電卓渡して計算させるってやり方でも教えられそう?><
人間関数みたいなお遊び><

話広がってったけど、元々の「変数わからん」がどうわからんだったのかわからん><

「どっかの誰かが作った俺ルールだよ!><」はよく言うようにしてた><

orange さんがブースト

計算機科学の少なからぬ部分 (特にプログラミングそのもの) は自然科学ではなく人工科学なので、「ただあるものを観察し理解する」姿勢だけではなく「そのように定義された理由や都合を推察し理解する」というフェーズは結構大事だと思う (知らんけど)

orange さんがブースト

だから「○○なコードは『意味がないから』禁止されている」というのはナンセンスというか因果が逆で、「特定のプログラミング言語において○○なコードは『意味が割り当てられなかった』」という説明になるべきなのよね、本来は。
人間が言語を設計するときに「意味を割り当てなかった」理由として、不自然だからとかややこしいからとか、そういう人間サイドの思惑がある。

スレッドを表示

「一意か?」みたいなあれだよね><

orange さんがブースト

たとえば 0 + "12" が 12 になろうが "012" になろうが "12" になろうが "0" になろうが 1 になろうが、そこに一貫した理屈を与えることはできる。
問題の本質は「人々が直感で想像する結果が共通であるか」ではなく、「特定のコードについて特定の挙動が自動的に導けるか」であって、それこそがプログラミング言語がセマンティクスを必要とする理由なので

スレッドを表示
古いものを表示
:realtek:

思考の /dev/null