それはね、ドキュメントには `return 'Hello' + name` は書いてなくて `greeting(name: str)` しか載らないからよ
ドキュメント読んで自然言語で "returns string" とかどこかに書いてあるのを必死に探さないといけないの、険しすぎません？
だから、それこそ Haskell みたいに「型？んなもん式を見りゃわかるだろうがよ」を地で行きつつもドキュメントにはちゃんと推論された型が明示されているのなら、まあ人間でも使えるよねみたいな気持ちになります
それはね、ドキュメントには `return 'Hello' + name` は書いてなくて `greeting(name: str)` しか載らないからよ
ドキュメント読んで自然言語で "returns string" とかどこかに書いてあるのを必死に探さないといけないの、険しすぎません？
だから、それこそ Haskell みたいに「型？んなもん式を見りゃわかるだろうがよ」を地で行きつつもドキュメントにはちゃんと推論された型が明示されているのなら、まあ人間でも使えるよねみたいな気持ちになります