orange @[email protected]

ティムクックが言ったらどっちの意味にも受け取れておもしろいじゃん？＞＜；

ティムクックのインタビュー、「ザッカーバーグだったら？」に「私だったら会社を畳んで株主にお金を返すよ！」ってジョークを言って欲しかった＞＜；（マイケルデルがAppleに付いて発言したののパロディーで＞＜；）

Tim Cook says Facebook should have regulated itself, but it’s too late for that now https://www.recode.net/2018/3/28/17172212/apple-facebook-revolution-tim-cook-interview-privacy-data-mark-zuckerberg

「もしザッカーバーグの立場だったらどうする？」との問いにティム・クックは「私はあんな状況には陥らない」と回答 - GIGAZINE https://gigazine.net/news/20180329-tim-cook-on-facebook/

タクシーの運転手「力が…欲しいか？」

orange「いきなりなんですか失礼ですよ」

タクシーの運転手「よろしい、ならば受け取るがよい！」

orangeは『5秒で寝られる力』を手に入れた！

#拒否権はないよ
https://shindanmaker.com/783693

https://mstdn.nere9.help/@orange_in_space/99767055254288494 の※2の"選択肢"ってつまりアフォーダンス＞＜（ここから話を伸ばすとさっきの動的型つけな言語でプログラミングそのものを教えるのはよくないって話につながる＞＜）

仮想機械も含めた何らかの計算機に対して動作を指示する事からはどうやっても避けられない（※1）んだから、結局の所何らかの仕様を知る必要がある（※2）し、あらゆる『何らかの仕様』を避けようとすると、『その人がやりたい事を全て矛盾無く自分の言葉で書き出す』みたいな事が出来ないといけないけど、そんな事出来る人間はほとんどいないと思うし、それに近い事をある程度できるような人がプログラミングできる人かも＞＜
（※1 それをしようとしてるんだから当たり前という自己言及的な話に＞＜）
（※2 ただし、必然的にそうなるであろう選択肢しか選びようが無いのであれば、個別には知らなくても知っているのと同等＞＜（＝正しいデザイン！！！＞＜））

もちろん、何らかの仮想的な以下略が目の前のハードウェアよりも扱いやすければ扱いやすいので意味があるというのは当然だけど、それってあらゆるプログラミング言語がそうじゃん？＞＜；ってなるしアレかも＞＜(ものすごく強引に言うとBrainf*ck系でさえも、電線を半田づけするよりは扱いやすいかも？＞＜；)

なるべく計算機のハードウェアの仕様に依存しない（ようにすることで人間がわかりやすくしようと考えられた）プログラミング言語、結局の所何らかの仮想的な機械の仕様に対応する言語になってしまう点がアレだと思う＞＜（その『何らかの仮想的な機械の仕様』を結局理解する必要があるのでそういう意味では微妙といいたい・・・＞＜）

これほど高度に学んでいる人でもこういう疑問に迷い込んでしまうわけだし、プログラミング学び始めの人がPythonとかその辺で教えられてしまったらちゃんと型を教えられずに何で型があるのかとか理解できると思えない＞＜

型システム、前に初学者じゃなく情報工学なマスターな人でオリジナル言語を趣味で作ろうとしてる人と「型ってそもそも要るのかな？」って問答（？＞＜；）になって、
https://twitter.com/orange_in_space/status/799627801087221760
https://twitter.com/orange_in_space/status/799631181700399104
なので
https://twitter.com/orange_in_space/status/799631416665354240
となって
https://twitter.com/nanase_coder/status/799632115629330433
ということで
https://twitter.com/orange_in_space/status/799632316825882624
となった＞＜

型システム、なるべくガチガチの方が初学者でも型の意味わかりやすいと思う＞＜ わからない＝出来ないになるから＞＜(例えば、整数型と文字列型で足し算するとどうなるか？って初学者に聞いてみるといいかも＞＜ 特に教える相手が複数の場合、必然的に決まるひとつの振る舞いにはならないってわかるかも＞＜)

ていうか動的型つけな言語って型が無いんじゃなく、実行時に型が決まるって話は置いておいても、単に型が暗黙に決定されるし型の影響を受けるわけだから、「なんだかわからないけど暗黙に決定される見えないものに振り回される」という点でも優しくない気が＞＜(明示的であれば、初学者も見る事が出来るわけだし、Pythonのような書きやすいけど読みづらい言語で教えるのって理解を遅くするだけだと思うんだけど＞＜)

Cって低レベルかどうかと別に言語の設計上かなりアレだと思うし、Cのお約束の「ポインタわからない・・・」ってポインタがわからないんじゃなくCのポインタ周りの文法がおかしいだけだし、そういう意味でバッドノウハウが多すぎるのがアレだから、計算機の中身を教えるならアセンブラの方がまだ優しいと思う・・・＞＜