セキュリティ的にあれなので、云十年前から実際の誕生日とは別の認証用誕生日を用意してあるけど、最初にそれ決める時にちゃんとその時点で未成年にならない年月日にした＞＜；
orange
さんがブースト
人はなぜTwitterアカウントの誕生日を法人や施設、キャラクターの誕生日に設定したがるのか…https://www.sankei.com/west/news/190918/wst1909180023-n1.html
掛け算出来るバナナ作りました！＞＜
C#で61行のコード書いたよ！ブラウザ上でプログラミング・実行できるよ！ コードは https://paiza.io/projects/WANamMow2GhfCtjdn6a9gw?locale=en-us #paizaIO
orange
さんがブースト
C言語でも"hoge" + 1は計算できるよやったね！！ http://ideone.com/e383IJ
orange
さんがブースト
静的型が「サイズ上限のある整数」とか「整数と文字列を混同できない」程度の認識でやっているの、完全に「静的型付き言語は C しか知りません」と言っているようなものでしょ
で、そのtogetterでも巻き込まれてる（？）雪だるまの人のTaPL日本語版の書評が＞＜
書評「型システム入門」 - 純粋関数空間 http://tanakh.jp/posts/2013-05-08-tapl.html
オレンジはお金ないのでTaPL読んでないです＞＜；
そういう範囲ですらなく型とは何ぞやレベルの話だと思う＞＜；
TaPL日本語版が出る前はこういう議論わりと頻繫にあったのに、出たらぱったりなくなったのおもしろい＞＜
orange
さんがブースト
まだ最後までちゃんと読んでないけど、もしかしてここで動的型付き言語勢が言っている「静的型」って C 言語のプリミティブ型レベルの話しかしてなかったりする？
orange
さんがブースト
動的型言語のふわふわ感 - Togetter
https://togetter.com/li/163331
不気味なものを見てしまった……
変数（と関数）、電卓渡して計算させるってやり方でも教えられそう？＞＜
人間関数みたいなお遊び＞＜
話広がってったけど、元々の「変数わからん」がどうわからんだったのかわからん＞＜
「どっかの誰かが作った俺ルールだよ！＞＜」はよく言うようにしてた＞＜
orange
さんがブースト
計算機科学の少なからぬ部分 (特にプログラミングそのもの) は自然科学ではなく人工科学なので、「ただあるものを観察し理解する」姿勢だけではなく「そのように定義された理由や都合を推察し理解する」というフェーズは結構大事だと思う (知らんけど)
orange
さんがブースト
だから「○○なコードは『意味がないから』禁止されている」というのはナンセンスというか因果が逆で、「特定のプログラミング言語において○○なコードは『意味が割り当てられなかった』」という説明になるべきなのよね、本来は。
人間が言語を設計するときに「意味を割り当てなかった」理由として、不自然だからとかややこしいからとか、そういう人間サイドの思惑がある。
「一意か？」みたいなあれだよね＞＜
orange
さんがブースト
たとえば 0 + "12" が 12 になろうが "012" になろうが "12" になろうが "0" になろうが 1 になろうが、そこに一貫した理屈を与えることはできる。
問題の本質は「人々が直感で想像する結果が共通であるか」ではなく、「特定のコードについて特定の挙動が自動的に導けるか」であって、それこそがプログラミング言語がセマンティクスを必要とする理由なので
orange
さんがブースト
初学者に教えるかはさておき、「セマンティクス」という概念がもっと明示的であるべきだとは常々思っています
ていうか、オレンジ方式だと「型推論はゴミ！＞＜」という持論の押し付けも出来る＞＜；
それもあるけど、教える場面で型推論使っちゃ駄目だと思う＞＜；
- ＠orange_in_space
2017年 4月に登録
