AIのハルシネーションを型で抑え込む力技。動的型付けの自由は終わるのか
型システムによる安全確保の重要性はよくわかる。それがTypeScriptでよいのか？が正直よくわからない。
“AIがこれまで以上に多くのコードを生み出すようになるにつれ、より信頼性の高いコードの生成が求められることは必然であり、それ故に信頼性を担保する仕組みとして型付け言語が優れている”
コンテキスト（文系的な意味での背景）が分かってないと設計しずらい言語仕様よりも型付きのほうがコンテキスト(AI的な意味で関連情報)が明確でミスしずらいってことだろう…
人間が動的言語で「いい感じに」やってたものは、長期コンテキストを持てないいLLMでは通用しないということなんだろうな
動的型を理解してうまく使うならいいんだが、大半のケースが設計不足、考慮不足ゆえ型が決められないだけなんじゃない。
別に型が見えない言語も型が無いわけじゃない 毎回実行時判定してるだけなんだから言語には型があった方がいいって結論は昔から決まってんだろ
誤:型付き言語 正:コンパイル言語 明らかにコンパイル時検出の効果。弊社は逆にビルドが一切ない構成も試していて狙い通りに機能してる。あるいはJavaのように自動増分コンパイル・自動リロードできる構成が良いはず。
AIはなぜ問題のある部分をanyにしてlintのチェックをanyを許可するように書き換えるのか
LLM が生成したコードのコンパイルエラーの 94% が型チェック失敗
静的型付き言語で1番使われてるTypeScriptさん
人間も型無し言語をうまく使えてなかったからな。TypeScriptはChatGPTの10年前にうまれちょる。
実行時には消えてるTypeScriptとか最悪なんだから結論が間違ってる
面白い。人間の認知負荷を下げるために発明された型が、AIのためにもなってる。
AIの駄目コードをチェックしやすいということ？"AIがときどき生成するびっくりするようなコードを、型があれば確実に抑えることができるからです""LLMが生成したコードによるコンパイルエラーの94％が型チェックの失敗"
anyは禁止です！って指示してあると、じゃあunknownで…って書き換えてくるのがウチのかわいいAIちゃん
“この説明を補強する材料として、生成AIによるコードのコンパイル時エラーの94％は型にまつわるものだったとしています。”
実行時に型が消えてるのが問題なら実行時にただのマシン語になってる言語は全滅ですねぇ(静的型付けの意味分かってんのかな)
話は聞かせてもらったRubyは滅亡する
令和にもなって型なしクソ言語を崇め盲信しているRubistやPHPerが死滅しますように
PHPに型はありまあああああす！記述しなくても動くけど、書いた方が色々と捗るよ
なんかTSは実行時に型が消えてるからダメとか言ってる人がいるが、「正しくない」要素満載のJSが1995年からずっと使われ続けているという現実を見た方が良い。
AIはなぜTypeScriptのような型付き言語の普及を促進するのか、GitHubが理由を説明
AIのハルシネーションを型で抑え込む力技。動的型付けの自由は終わるのか
型システムによる安全確保の重要性はよくわかる。それがTypeScriptでよいのか？が正直よくわからない。
“AIがこれまで以上に多くのコードを生み出すようになるにつれ、より信頼性の高いコードの生成が求められることは必然であり、それ故に信頼性を担保する仕組みとして型付け言語が優れている”
コンテキスト（文系的な意味での背景）が分かってないと設計しずらい言語仕様よりも型付きのほうがコンテキスト(AI的な意味で関連情報)が明確でミスしずらいってことだろう…
人間が動的言語で「いい感じに」やってたものは、長期コンテキストを持てないいLLMでは通用しないということなんだろうな
動的型を理解してうまく使うならいいんだが、大半のケースが設計不足、考慮不足ゆえ型が決められないだけなんじゃない。
別に型が見えない言語も型が無いわけじゃない 毎回実行時判定してるだけなんだから言語には型があった方がいいって結論は昔から決まってんだろ
誤:型付き言語 正:コンパイル言語 明らかにコンパイル時検出の効果。弊社は逆にビルドが一切ない構成も試していて狙い通りに機能してる。あるいはJavaのように自動増分コンパイル・自動リロードできる構成が良いはず。
AIはなぜ問題のある部分をanyにしてlintのチェックをanyを許可するように書き換えるのか
LLM が生成したコードのコンパイルエラーの 94% が型チェック失敗
静的型付き言語で1番使われてるTypeScriptさん
人間も型無し言語をうまく使えてなかったからな。TypeScriptはChatGPTの10年前にうまれちょる。
実行時には消えてるTypeScriptとか最悪なんだから結論が間違ってる
面白い。人間の認知負荷を下げるために発明された型が、AIのためにもなってる。
AIの駄目コードをチェックしやすいということ？"AIがときどき生成するびっくりするようなコードを、型があれば確実に抑えることができるからです""LLMが生成したコードによるコンパイルエラーの94％が型チェックの失敗"
anyは禁止です！って指示してあると、じゃあunknownで…って書き換えてくるのがウチのかわいいAIちゃん
“この説明を補強する材料として、生成AIによるコードのコンパイル時エラーの94％は型にまつわるものだったとしています。”
実行時に型が消えてるのが問題なら実行時にただのマシン語になってる言語は全滅ですねぇ(静的型付けの意味分かってんのかな)
話は聞かせてもらったRubyは滅亡する
令和にもなって型なしクソ言語を崇め盲信しているRubistやPHPerが死滅しますように
PHPに型はありまあああああす！記述しなくても動くけど、書いた方が色々と捗るよ
なんかTSは実行時に型が消えてるからダメとか言ってる人がいるが、「正しくない」要素満載のJSが1995年からずっと使われ続けているという現実を見た方が良い。