Pythonのお勉強 Part75 (741ﾚｽ)
上下前次1-新
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
692(1): (ﾜｯﾁｮｲ 1a79-MCtg) 08/10(日)20:18 ID:WEeWhG2x0(1)調 AAS
このあたりの話かな
https://docs.python.org/ja/3/c-api/long.html
PyObject *PyLong_FromLong(long v)
戻り値: 新しい参照。 次に属します: Stable ABI.
v から新たな PyLongObject オブジェクトを生成して返します。失敗のときには NULL を返します。
現在の実装では、-5 から 256 までの全ての整数に対する整数オブジェクトの配列を保持します。この範囲の数を生成すると、実際には既存のオブジェクトに対する参照が返るようになっています。
693: (ﾜｯﾁｮｲ 7a0a-WVpU) 08/10(日)21:54 ID:swuUdv2c0(11/11)調 AAS
Pythonは後になって「オブジェクト」という用語を使い始めた誤魔化し集団。
694(1): (ﾜｯﾁｮｲ de01-AJBo) 08/10(日)23:13 ID:ZpaHmpjx0(1)調 AAS
>>685
言語仕様はおろかプログラミングにおける代入を理解してないような初心者に対して代入文とはどういうものか説明しようとして「箱 = 値」というアナロジーを使ってるんでしょ？
なのに説明できてない箇所を指摘すると「それは言語仕様を知ってればわかるからいいよね？文句ある？」みたいな開き直りをされても失笑するしかないよ
695: (ﾜｯﾁｮｲ 232c-1ngM) 08/10(日)23:31 ID:wxvmtlzV0(2/2)調 AAS
>>694
646は、「言語仕様はおろかプログラミングにおける代入を理解してないような初心者に対して代入文とはどういうものか説明しようとして「箱 = 値」というアナロジーを使ってる」のかもしれないが、自分はそんなつもりは全くないな。652や656で書いたような説明をそんな初心者が理解できるわけないでしょ。Pytnonのような言語の代入文をきちんと理解するにはそれなりに前提知識がいる。それが大変だから、ラベル（名札・荷札）のアナロジーのような、そこそこ良い線はいっているけれども本質的な理解からは隔たりがある説明が蔓延しているわけで。
696: (ﾜｯﾁｮｲ 174f-Fa+d) 08/11(月)10:30 ID:hg5eV/6v0(1)調 AAS
CPUはレジスタに根渡ししてるだけなのにな
高級言語は余計なことやりすぎなんだよ
697(1): (ﾜｯﾁｮｲ 9a02-QbuV) 08/11(月)12:14 ID:oIjo7VRO0(1)調 AAS
AIを作ってるが、
Pythonは型が明記されてないから、わかりずらいな…
C++のほうが見やすい
698: (ﾜｯﾁｮｲ b680-kDJb) 08/11(月)12:23 ID:M47h2EOs0(1)調 AAS
正直俺もどうにかC++に持ってこれないか無駄な努力してる
whisperとかはありがたい設計なんだけど翻訳系がなー
boost::pythonもcythonも結構Cじゃ完結しないのね
699: (ﾜｯﾁｮｲ 5a4e-a/Iv) 08/11(月)14:33 ID:uBk9CY7Y0(1)調 AAS
C++なら値なのか参照なのかポインタなのか一目で分かるからな
上の議論もc++なら一発で解決する
700: (ﾜｯﾁｮｲ 0754-mJPu) 08/11(月)14:38 ID:Xx9EOjxc0(1)調 AAS
deepcopy必須な再帰呼び出しをリファクタリングしてたらすっきり書けすぎて、
deepcopy部分が暗黙になってしまって逆に危険に
701(1): (ﾜｯﾁｮｲ 3e3e-ZDX3) 08/12(火)04:07 ID:nMX81I590(1)調 AAS
>>687
そうなんだけどさ
整数いくつ準備してんの
あらかじめ
702: (ﾜｯﾁｮｲ 4e10-1ngM) 08/12(火)08:04 ID:i9fPXIIb0(1/2)調 AAS
>>701
>>692
703: (ﾜｯﾁｮｲ df7c-J6sU) 08/12(火)09:10 ID:rnDCu4n50(1)調 AAS
>>697
型ヒントぐらい使え
704: (ﾜｯﾁｮｲ 230f-1ngM) 08/12(火)09:28 ID:ob7DnR/R0(1)調 AAS
typingもバージョンアップのたびに機能が追加されるけれど、正直、フォローできているのは4分の1もないくらいかな。ある程度プラクティスが固まって本でも出たらそれに従うつもりではいるけれど、TypeGuardとかParamSpecとかを自分のコードで使うことはなさそう。
ヌル安全関係の演算子とかは、自分でも何とか理解できそうなので追加が可能なら欲しいかも。
705: (ﾜｯﾁｮｲ 0754-mJPu) 08/12(火)09:32 ID:lkNbq5IJ0(1/4)調 AAS
全部書いて自動チェック機能も常用しないと意味がない
必要なとこだけコメントで十分
706(1): (ﾜｯﾁｮｲ f6c1-1ngM) 08/12(火)09:59 ID:46uwwH/J0(1/8)調 AAS
たとえばlistにリスト型宣言時に想定されていた要素型の部分型のオブジェクトを要素として入れたりすると、listは共変じゃないから型の互換性がないぞって警告が出たりするけど、そういうのにどこまで対応するのがいいのかってのがよく分からない。castして黙らせるのがいいのか、そういうものだと放置しておくのがいいのか。どちらにせよ、型ヒントを書かないコードと比べて可読性の低下に見合うメリットがあるのか。
基本的には型付けしていく方向性の方が良いんだろうなと思っているけど、今一つ自分のスタンスが固まり切らない感じ。
707(1): (ﾜｯﾁｮｲ 0754-mJPu) 08/12(火)10:10 ID:lkNbq5IJ0(2/4)調 AAS
型は決めずにいろいろ受け付けて、
想定外のが来ても意外とちゃんと動く、みたいなのがオブジェクト指向
708: (ﾜｯﾁｮｲ f6c1-1ngM) 08/12(火)10:18 ID:46uwwH/J0(2/8)調 AAS
705と707は、方向性としては正反対なのでは。707はいわゆるダックタイピングのことだと思うけど、オブジェクト指向は静的型付けとも両立するよね。
709: (ﾜｯﾁｮｲ 0754-mJPu) 08/12(火)10:23 ID:lkNbq5IJ0(3/4)調 AAS
型を混同するとバグる箇所と、
意図的に型を限定しない箇所がある
混同に該当するようなことをしても、柔軟に書かれてて期待通りに動いたりもする
厳密に追えば正しく動く理由は説明できるけど、
全部隠蔽して直感的に読めるコードだけが残る
710: (ﾜｯﾁｮｲ 5b2a-ycC0) 08/12(火)10:36 ID:JQsdcePx0(1)調 AAS
>>707
なんか古めかしいよね。
型は決めずに void 型ポインタとしていろいろ受け付けるみたいな。
711: (ﾜｯﾁｮｲ f6c1-1ngM) 08/12(火)10:36 ID:46uwwH/J0(3/8)調 AAS
静的型チェッカーは、onにすると基本的には全コードについて型チェックをするものだと思っていたけど、そこは型チェッカーの設定次第で調整できるのかな。あとはAny……。
712: (ﾜｯﾁｮｲ 2398-a/Iv) 08/12(火)10:46 ID:Gkg/fED60(1)調 AAS
typescriptみたいに型システムを追加したPythonのスーパーセット作ればいいんだよ
713(1): (ﾜｯﾁｮｲ de01-/C6k) 08/12(火)10:54 ID:ANRO+El50(1)調 AAS
>>706
Protocol使う場面では？
structual typingでよければだけど
714: (ﾜｯﾁｮｲ 0754-mJPu) 08/12(火)11:00 ID:lkNbq5IJ0(4/4)調 AAS
人間の管理能力は限界があるので、
人間側が間違わずに作るんじゃなくて、
最低限のことしか考えなくても安全に動作する方向に進化している
全員でそれをやると進まないので、
一部の頭いい人だけC言語でかっちり作る両輪体制
715(1): (ﾜｯﾁｮｲ f6c1-1ngM) 08/12(火)11:10 ID:46uwwH/J0(4/8)調 AAS
>>713
ProtocolについてはロバストPytnonに出てきたのをちょっと読んだくらいしか知識がないのだけど、こういうときに使えるものなのかな。: list[base] という型指定はライブラリの中でされていて書き換えるのは躊躇されるので、そうだとするとちょっと難しいのかなと。
716: (ﾜｯﾁｮｲ cb01-/C6k) 08/12(火)13:23 ID:AyHSyTNk0(1)調 AAS
>>715
それはライブラリ側の型ヒントが間違ってるか
自分が入れようとしている要素の型が間違ってるか
どちらかじゃないの？
ライブラリ側の型ヒントが間違ってると確定できてないうちは
自分が間違ってる前提で対応したほうがいいように思う
717(1): (ﾜｯﾁｮｲ f641-1ngM) 08/12(火)14:21 ID:46uwwH/J0(5/8)調 AAS
GUIライブラリのwidgetコンテナで、格納される具体的なwidget群を属性widgeds : list[widget] に受け取るみたいな感じなんだよね。
container.widgets = [ label(), button(), textbox(), …… ] （label, button, textbox等は全てwidgetの部分型）みたいな感じで配置するんだけど、そこで706みたいな警告が出たり出なかったりする。
ありがちな状況なので、たぶん定石的な対処方法があるんじゃないかと思うんだけど。
718: (ﾜｯﾁｮｲ df01-/C6k) 08/12(火)15:24 ID:PiEjVoIs0(1/3)調 AAS
>>717
list[widget]の型にwidgetのサブクラスのインスタンスを入れてもエラーにはならないはず
list[widget]の型が要求されている箇所にlist[label]型の変数を渡してるとかなのでは？
719(1): (ﾜｯﾁｮｲ f641-1ngM) 08/12(火)15:45 ID:46uwwH/J0(6/8)調 AAS
Pytnonの型チェックはあくまでもヒントだからエラーというか警告だけどね。自分も比較的最近知ったことだから勘違いがあるかもしれないけれど、listはmutableコンテナだから共変ではないんだって。だから、A <: B（Bが上位型でAはその部分型）のときでもlist[A] <: list[B] にはならないらしいよ。
720: (ﾜｯﾁｮｲ f641-1ngM) 08/12(火)16:10 ID:46uwwH/J0(7/8)調 AAS
たしかにlistの要素として、その型宣言時の要素型のサブクラスのインスタンスを入れるだけなら特に問題ないはずだとは自分も思うんだよね。
717のcontainer.widgets = [ label(), button(), textbox(), …… ] は、両辺の式の型の間に互換性がない（listは非変なので）点に問題があるということだとすると、container.widget.extend( …… ) とかの書き方にしたら大丈夫なんだろうか。ライブラリのリファレンスとかにはそういう書き方は出てこなかったけど。
721: (ﾜｯﾁｮｲ df01-/C6k) 08/12(火)16:18 ID:PiEjVoIs0(2/3)調 AAS
>>719
型チェッカーがエラーと報告するならエラーでいいよ
listが共変でないというのは要素型のサブクラスはlistに入れられない話ではない
これはNG
mylist: list[label] = [label]
widgets = mylist
これはOK
widgets = [label]
これもOK
widgets = [label, button, textbox]
722: (ﾜｯﾁｮｲ df01-/C6k) 08/12(火)16:34 ID:PiEjVoIs0(3/3)調 AAS
OKなはずなのにエラーが出てるのなら最小限の再現コードをpyrightのplaygroundにでも上げてもらったほうがいいかもね
723(1): (ﾜｯﾁｮｲ f641-1ngM) 08/12(火)16:57 ID:46uwwH/J0(8/8)調 AAS
なるほど、たしかにそれだと警告は出ないね。短い再現コードが出せるようならやってみるけどちょっと難しそうかな。たぶん代入文の右辺について、型チェッカーが（list[widget]と互換性のない）型情報をコード内の別のところから得ちゃっているということなんだろうと思うけど。
724(1): (ﾜｯﾁｮｲ 9a02-QbuV) 08/12(火)19:52 ID:CDoCkaEH0(1)調 AAS
>>723
型を明記しないとエラーとかってできる？
VBAみたいに
C++のほうが慣れてるから、そのほうがええわ
725: (ﾜｯﾁｮｲ 4e10-1ngM) 08/12(火)21:31 ID:i9fPXIIb0(2/2)調 AAS
エラーにできるかというのが、静的型付けができていないコードの実行を自動的に抑止できるかという意味なら、Pytnon単体ではムリじゃない？ あくまでも型「注釈」に過ぎないわけだし。でも、型チェッカーの方でそういう設定はあるんじゃないかなぁ。
726(1): (ﾜｯﾁｮｲ cb01-X2XY) 08/12(火)22:31 ID:jU+JMCmR0(1)調 AAS
>>724
pyrightのstrict modeを試してみるといいと思う
727(2): (ﾍﾞｰｲﾓ MM06-ZDX3) 08/12(火)22:41 ID:nRaft4INM(1)調 AAS
Pythonの型ヒントって型推論が許されてるけどどこまでそれが効くかはチェッカーの実装依存なんだよね
つまりチェッカーからすると型が不明というのは多くの場合において自身の型推論がショボいことを意味するわけで、
不明だからエラーにするというのは筋が通らないわけよ
せいぜい引数と戻り値に方指定を必須にするくらいだね
728: (ﾜｯﾁｮｲ 7602-7soU) 08/12(火)23:05 ID:DyWlhw4u0(1)調 AAS
実行時まで型が決まらん、というのまであるしなあ
729: (ﾜｯﾁｮｲ 8a9f-XAuV) 08/12(火)23:06 ID:6cjc6Wvo0(1)調 AAS
商用プログラム書くならパフォーマンス犠牲になってもランタイムの型チェックがほしい
こんどしれっとtypeguardいれてみようかな
AI支援もあるし猛烈に反対はされなそう
730(1): (ﾜｯﾁｮｲ 9a02-QbuV) 08/13(水)06:35 ID:o5KTBnUB0(1)調 AAS
>>726
まあでも、
やっぱ、オレみたいなやっぱ要望はたくさんあるんだな
型を明記して欲しいって人
731: (ﾜｯﾁｮｲ 174e-ZDX3) 08/13(水)08:37 ID:+sjCYsF70(1)調 AAS
>>730
問題は>>727の通り、どこまで明記すれば不明でなくなるのかがPythonの仕様上不明であること
例えば x = f() において、fの戻り値がstrとして型指定されている場合、右辺の式 f() の型は何になるだろう? 左辺で宣言された変数xの型はどうか?
どっちも当然strと思うかもしれないが、これ正確にはどちらも型推論が必要で、なんと型チェッカーの実装依存なんだよね
x: str = typing.cast(str, f())
もし可能な限り明記しようとすればこうなるが、これでもなお実装依存でないとは言えない
732: (ﾜｯﾁｮｲ 231f-1ngM) 08/13(水)09:44 ID:/jTyGuwU0(1)調 AAS
型付け・型検査の目的は型の不整合の有無を確認することだから、式の型が1つに確定できるならそれが最も分かりやすいとは思うけど、必ずしも1つに確定できなくても（たとえば式の型としてa型、b型、c型の3つの可能性があって、そのいずれについても）型の不整合が生じないことが確認できているのであれば、それで型付け・型検査としての役割は果たしているようにも思うけど。
733: (ﾜｯﾁｮｲ 0754-mJPu) 08/13(水)09:48 ID:rfdqQR7l0(1)調 AAS
動的型付け言語を静的型付け言語のように取り扱うのが間違い
無管理よりは何かやれることあるだろうという模索の最中だけど、本質的に困難
734: (ﾜｯﾁｮｲ f63f-1ngM) 08/13(水)10:05 ID:IjqUTXVC0(1)調 AAS
もちろん、静的型付け言語と全面的に同じことができるわけではないけれども、部分的にではあれ良いところを真似することはできるし、邪魔くさいという人は従来どおりのスタイルで書くこともできる。型指定をアノテーションにとどめるというのはそんなに悪いアイデアではないと思うけどなー。
735: (ｱｳｱｳｳｰ Sac7-Kgix) 08/13(水)12:39 ID:U7zZSy+Fa(1)調 AAS
PyhtonのListが型限定されたら嫌だな
もちろんPyObjectとしては限定されてるが
そういう意味じゃないんだ
736: (ﾜｯﾁｮｲ 4ecf-vKG+) 08/13(水)14:26 ID:52kJFnMW0(1)調 AAS
>>727
ESLint だと明示的でない any を警告するオプションがあったりする。
型が不明という状況がその型推論がショボいことを意味したりはしないと思うがな。
ただ実用上の問題としては、型ヒントを提供していないモジュールが多いんで
警告が出まくる可能性があること。
737: (ﾜｯﾁｮｲ 175f-eMCN) 08/13(水)16:15 ID:jrIykVeu0(1)調 AAS
自分はpylanceのbasicでちょうどいいくらいだわ
738(1): (ﾜｯﾁｮｲ 3efe-bxVO) 08/13(水)17:18 ID:vtzVqfUP0(1/2)調 AAS
labelStudioのインストールについて質問してもいいですか？
WindowsパソコンでlabelStudioの最新版をインストールしたのですがコマンドプロンプトでpipコードを入力してもファイルが見つかりませんとなってlabelStudioが起動出来ません。
わかる方いますか？
739(1): (ﾜｯﾁｮｲ 23e7-XAuV) 08/13(水)18:47 ID:God64kkW0(1)調 AAS
>>738
https://labelstud.io/learn/getting-started-with-label-studio/
これでためしてみて
Dockerなんて要らないとおもうかもしれないけど
それならまずそんなところで躓かないくらいのオタクになる必要がある
740: (ﾜｯﾁｮｲ 3efe-bxVO) 08/13(水)19:30 ID:vtzVqfUP0(2/2)調 AAS
>>739
Dockerとはなんぞや？なレベルなんてちんぷんかんぷんです。
ずぶの素人にはインストールすらむずいっす
741: (ﾜｯﾁｮｲ dff2-ChRm) 08/15(金)00:02 ID:UemuT+6G0(1)調 AAS
pyxが出たよ
…何するツール？
https://astral.sh/pyx
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s