Python 3.9 時代の型安全な Pythonの極め方 / Mastering Type Safety in Python 3.9 Era

PyCon JP 2020 の「Python 3.9 時代の型安全な Python の極め方」の発表資料です

[shiba-yan]

最初から型のある言語を使えば良いのでは・・・

[n_knuu]

「型システムがちゃんとしてる静的型付き言語を使えばよい」って趣旨のブコメがあるけど、それで解決する幸せな世界なら TypeScript はいらなかっただろうね

[osakaeco]

なんかよくわかんないけど、ANSI Cとか、POSIX シェルとか、N88BasicとかF77とか、COBOLとかのほうが、安心。よく数年ごとに規格変わる言語つかうよな。（LINUX歴 20年のおっさん）

[strawberryhunter]

最初から型がしっかりした言語を使った方が良いのでは？

[gnety]

小規模のコードでもドキュメントとして型情報を記述しておくと、後で見たときに処理を追いやすくてよい

[theatrical]

ブラウザ上で実質他の選択肢のないEcmaScriptとPythonじゃ話が違うでしょ。機械学習等のPythonのエッジ部分もライブラリ等の問題があるにしても代替不可能ではないし、その他の分野ならそれこそ別にPython使う必要ないでしょ

[roshi]

この前試しに型ヒント書いてみたら普通に別の型が代入できたんであれー？と思ったら言語本体は型情報見ないのか。。

[zou3dazou]

pythonの型

[arrowKato]

型チェック

[take4mats]

型安全にすることの賛否が出てるし自分もわかるけどpythonだとどんな風に出来るか分かる良い参考 [python][type system]

[toge]

Pythonの型安全は大変で投資のわりにリターンが少ない感じがしてしまう。

[quabbin]

Java屋が通った道

[p1ass]

Optionalもあるのか

[Kesin]

Pythonの型だいぶ進化したな。時代が求めるものに対してうまく適応してきている感がある

[ryuichi1208]

型関連のバージョンごとの進化すごいな。

[yarumato]

“JavaScriptに対するTypeScriptのような感じで、型を付与できるが、Python自体は書かれた型を見ない（実行時に型エラーを出さない）。外部ツール（mypy,IDE）で型エラーを確認。mypyは外部ライブラリにも型情報を要求(TSの.d.ts)”

[korosuke613]

type hintingって引数と戻り値以外にも使えるんだったっけ？いつの間に〜🧐

[yamada_k]

見やすいかも

[chromia_jp]

Pythonの型は付けても付けなくてもいいところが気に入ってる。他人に使わせるインターフェース部とか、Listの入れ子やCallableみたいな複雑な引数だけ適用すると開発効率がいい。品質は別途テストで担保

[ai_gaminglife]

それはPythonなのか

[igni3]

Pythonで型が必要と思ったことはないし型チェックない手軽さが便利。型安全が欲しいほど大規模ならPythonそもそも向いてないので別言語使う。

[tako-two]

俺が知らないうちに3.9になってる！？

[hnishi2509]

python での型ヒントのまとまった資料

[at_yasu]

気がついたら Python も3.9になっとるやんけ。はー

[t-murachi]

開発現場はスクリプト言語を求めていないって事ですよね…(´・ω・`)

[cartman0]

数値・ベクトル・行列計算だったらpython一択なので型ほしいよな

[mn_kun]

c++とかおすすめですね

[delphinus35]

普段TypeScript書いてる時にPythonの型ヒント使うと「あーこれもあれもできないのかー」ってなる。実用性はまだねー。

[ys0000]

https://docs.python.org/ja/3/library/typing.html 型ヒント大事。

[bump_sunbear]

Protocolとデータクラス知らなかった、活用したい

[sanpo_shiho]

そもそも型ヒントなんてものを知らなかった

[Keisuke69]

時代は型なのか