orange
さんがブースト
糸と針金で潰せないやつ作るやつなんだっけ
「静的に型が決まっていたとしても、静的型検査せずに実行するのに静的型付けって言うのはおかしい」って点と、「タグつき共用体のサポートがあったら、もう部分的に動的型付けに近いと言えそうだし、BASICほど全面的に活用してたらもう静的型付けを名乗れないでしょ？」辺りが論点になりそう＞＜；
古典的BASICインタプリタは静的型付けであるか動的型付けであるかって、実用的ではない議論だけどちゃんといろんな人が意見したらすごくおもしろそう＞＜
(ちょっとググって見たけど、静的に分類してる人の方が多い？＞＜)
orange
さんがブースト
エラーが含まれていることを実行なしに確実に判定できるなら静的と言って良いと思う (その検査が本当に実行前に行われるかは別の話？)
orange
さんがブースト
「ただしエラーが含まれている可能性がある」の種類によると思うけど
orange
さんがブースト
一般に「静的」とは「実行せずとも確認できる」を意味していると思う (e.g. 静的解析)
orange
さんがブースト
となると例えば
「全ての変数等には明示的な型の宣言が必要で、一方でインタプリタであり、全体の実行前には型検査は行われず、実行時に型検査を行う」って珍妙な環境があったとしたら、それは「実行時までに型検査は行われないけど、静的型つけな言語」になる？＞＜；
検査が実行時ってだけであって、実行前に型は決まってる(ただしエラーが含まれている可能性がある)ので＞＜；
orange
さんがブースト
わからないことや興味深い事を教えてくれる博識なリアル友人なんて滅多に見つけられるものじゃないと思うけど、ビル・ゲイツにとってのポール・アレンがそういう稀有な事例かもって思うかも＞＜
世の中にポール・アレンみたいな人はそんなに居そうも無いし、SNSならば大人数で知識を出しあってポール・アレンひとり分くらいの能力(？)を発揮出来る可能性が、ポール・アレンとお友だちになる可能性よりは高そうな気がしてる＞＜
オレンジはそれをSNSに求めてるし、だから逆にわかんなくて困ってる人を見かけたらオレンジが知ってる範囲だけでも教えてあげようとしてるし、ついでに調べるのも手伝ってあげたりする＞＜
オレンジもそうしてほしいから＞＜
2chに居た時もそう＞＜(お節介エスパーテックサポートとか＞＜)
orange
さんがブースト
orange
さんがブースト
知ってることなら伝えられる
orange
さんがブースト
ていう素朴な疑問からにわか知識を仕入れたところに（わたしの知りたいに沿った）講座開いてくれる友人がほしい気がするな（分野によってはある気もする）
となると例えば
「全ての変数等には明示的な型の宣言が必要で、一方でインタプリタであり、全体の実行前には型検査は行われず、実行時に型検査を行う」って珍妙な環境があったとしたら、それは「実行時までに型検査は行われないけど、静的型つけな言語」になる？＞＜；
検査が実行時ってだけであって、実行前に型は決まってる(ただしエラーが含まれている可能性がある)ので＞＜；
古典的BASICは、動的型つけでは無く、「タグつき共用体をフル活用する事で結果的にまるで動的型つけでゆるふわな言語かのように振る舞ってる(し、表面上はゆるふわ)」って、
最初にBASIC使ってから30年くらい？経つけど、そんな話聞いた事無かったけど、よく考えてみると初歩の初歩である「なんでドルがついてない変数には文字列が入らないの？＞＜」を突き詰めて考えれば、厳密にはたしかになるほど＞＜；
orange
さんがブースト
まあ厳密な話をするなら、システムプログラミング言語はハードウェア由来の不確定性とか諸々と向き合うことになるので完全無欠な保証は難しかったりするんだけど、 C/C++ の穴はそういう次元ではないので……
orange
さんがブースト
みんな外付けで不完全な仕組みをゴテゴテ付けながら騙し騙し頑張ってるんだけど、土台が腐ってるからどうしようもないのよ。だから、これだけ長く使われていて多数のプラットフォームで動くという圧倒的アドバンテージを持ちながら、他の言語に移行したい！ とかいう声が沢山ある
orange
さんがブースト
C/C++ が安全だと心から思ってる人、地球上に存在するん？
- ＠orange_in_space
2017年 4月に登録
