><https://twitter.com/orange_in_spacehttps://pawoo.net/@orange_in_space
バージョン管理システムが微妙なのも、現状は、その言語により検査されたものを管理するものじゃなくテキストのバージョンを管理するものなのが微妙><
「教えてくれる」という面がとても大きいけど、ついでに検査してくれるのが、なんと言うか(このあと300文字くらい書いてまとまらなくて消しました><;)
名前がわからなければ、(より適切な機能があるかもしれないし)リファレンスを眺めて全貌を把握しようとするので、「特定の関数の詳細を名前から自動で教えてくれる」というのは正直そんなに欲しくないかも
だいたい関数を呼ぼうと思ったとき、既に型ってわかってません?(呼ぼうとする前に調べるし、名前を覚えていたら型もだいたい覚えている)
う~ん><;
そこで「IDE は賢いからその場でエラーがわかるよ!」と言われても、「いやそれはショートカット一発でわかるから自分のタイミングで見るわ」としか
単純なテキストエディタ上のテキストでしかない状況は、検査されていないので単なるテキストでしかないみたいな・・・><
なるべく早く実際に解釈する機械(になるべく近いもの)が介在すべきって発想><
オレンジはさっき書いた事の実現の為にもIDEは強く必要なものって考えてる><(無いと書けない言語は間違ってると思うけど、IDEがあるならそれを使うべきであり、無いのであればIDEを作るべき的な><)
IDE を言語処理系(として必須のツール)の枠に含めることに異議を持っている勢です(老害)
TaPL日本語版欲しい・・・><(なんかTaPL日本語版が出て以降、日本語圏での静的動的型付け論争自体が下火になった気がする><)
で、後者はだいたい機械可読性と近いので、自然言語でドキュメントに書いてあったところで「それ暗黙みたいなもんやん」としか思えない
ドキュメントに書かれているは、その言語として書かれているに入らない><(説明書を読めばわかると言うのはデザインの敗北であるって発想><)
・・・・・・><https://mstdn.nere9.help/@orange_in_space/100483487451312093
ウッオー眠い
ていうか「どんな型で渡せばいいのかの取り決めがない(あるいは明示的ではない)」かも><
どういう型の値を受け入れるかには制限があるのに、どういう型の値も渡せてしまう(そして実行時エラーになる)というのが致命的なので……
動的型付け陣営のその人の主張を真に受けると、例えば文字列であって解釈して受け取れるべきだとなる><じゃあ例えば "02/03/1942 00:00"はどう解釈するのか?><
例えば、ゆるふわすぎる言語に、 hoge(fugaDateTime)みたいな関数があったとして、fugaDateTimeに相当するものは具体的に何を投げればいいのか?><
何年か前の、変数に型がないメリットがどうのってお祭り騒ぎあったじゃん?><あの頃辺り?に動的型付け陣営の人が「動的型付けは、受けとる側が受け取れなかったら悪い」的な謎な事を言ってて、「じゃあ日時じゃ文字列か整数か実数か何らかの構造体か、どんなものが飛んできても解釈するんだな?><#」 って思った><
思考の /dev/null