Pythonにトランスパイル可能な静的型付けプログラミング言語の開発
クリエータ:芝山 駿介(早稲田大学先進理工学部物理学科)
担当PM:竹迫 良範(株式会社リクルート データプロダクトユニット ユニット長)
pythonはカスochyai.icon
口にするのも憚られるochyai.icon
祖母が就寝w w w w w w w wochyai.icon
薮から蛇(やぶからパイソン)ochyai.icon wsowawa.icon
動的型付けのくせに型変換は動的じゃないから殺したくなる蛇言語ochyai.icon
こんな素敵なpythonを愛したいochyai.icon
それはガベージじゃないw w wochyai.icon
素晴らしい問題の説明であるochyai.icon
そして3.10 か3.11 ochyai.icon
祖母が就寝するとDBインサートができなくなるtakesako.icon 実はPythonの型が問題だった!!!
intとfloatの混在、なるほどtakesako.icon
不可解なバグ → 案の定 PythonSoichiro Ueda.icon
Pythonは仕様通りに、小数点がなければINTとして認識して、人間がプログラミングした通りに動いただけなのに、バグと一蹴されていじめられる理不尽笑kunihirotanaka.icon
これやばいな。メモリ上で確保せずにリファレンスだけもってるのか。sowawa.icon
言語処理系の内部実装が隠蔽しきれてないの厳しすぎるSoichiro Ueda.icon きついsowawa.icon
小さい整数を使うたびにオブジェクトを作るなら、それはつまりforで1~100を回すだけで毎回mallocするってことですよ。性能にどういう影響があるかわかるよね?nishio.icon
だから高速化のために「メモリ上で確保せずにリファレンスだけ持つ」という実装変更が事後的に行われた
整数を==ではなくオブジェクトとしてisで比較したときに同じ結果が返って欲しい人と、for文が速くあって欲しい人では、後者の方が圧倒的に多いということです
よくこんなコーナーケースばっかり知ってるなsowawa.icon
これはもう愛では。sowawa.icon
Python を批判するために Python オタクになってる人だSoichiro Ueda.icon
Python の秘孔を他にもいろいろ知ってそう。shudo.icon
っていうか秘孔つきそうなコードを警告して曖昧さを排除するlinterみたいなの開発した方が人々を幸せにできるかもしれない。sowawa.icon
実行時にしか出てこない配列エラーの秘孔ochyai.icon
その配列変換藪蛇です(パイソンがエラーを吐くの意ochyai.icon
ダジャレかよ!sowawa.icon
Python嫌いって言っている人はいるけれど、こんなにわかりやすくマイナスなポイントを説明してくれる人はいない笑石戸谷由梨.iconHousei Wang.icon
たしかに pip, pyenv, anconda とかどれ使ったらよいか定期的に悩むなtakesako.icon
これ素直に「pip + venv」では何がいけないのか... nishio.icon
これわかるわー、jsとかも似たような目的のものが無数に存在してるの辛いsowawa.icon
最近自分の pip の環境が知らん間に壊れていて、もう Python を使わないという方法で問題を解決したSoichiro Ueda.icon
同意sowawa.icon
仮想環境以外で使いたくないochyai.icon
+100 「venv使え」でいいと思う
(というよりローカルが魔窟になってしまってもうわからない,クリーンインスコはしたくないochyai.icon
何が足りないかわからないんだよねsowawa.icon
そう,そして何かが余計なのかもわからない 私はバージョン管理ソフトじゃないochyai.icon
利用者の頭の中でバージョン管理をしないといけない闇kunihirotanaka.icon
数年して記憶が劣化してマシンが闇に葬られる宇宙蛇パイソンochyai.icon
オートインポートは素晴らしいが,魔窟をさらに魔窟にする予感があるが大丈夫なのかochyai.icon
バージョンはどう処理してるのかはかなり気になるochyai.icon
3.11系ochyai.icon
Python言語、誰にも愛されていない疑惑。いや、愛の形はいろいろなのだ。shudo.icon
愛憎半ばの蛇言語使い達ochyai.icon
numpy をいい感じに扱うために依存型が必要だったというわけかSoichiro Ueda.icon
篩型の実装がいろんな例外が出そうなochyai.icon
要素数と空配列かどうかだけ?ochyai.icon
自分の好きな Zig 言語の Language Server よりリッチに機能を揃えているかもしれないSoichiro Ueda.icon
マイナー言語、Language Server が弱くて厳しい気持ちになりがちなので、これは嬉しいSoichiro Ueda.icon
「Pythonの牙城が崩」れたらErg言語の意義もなくなって平和な世の中に!?shudo.icon
Python へのトランスパイラを書こうと思うといくらでも Python の秘孔を知る機会があるんだろうな。大変だ...Soichiro Ueda.icon
でも .pyc への変換だったらそこまででもないのかなSoichiro Ueda.icon
「バイナリへの変換も作ってる。発表クオリティまではまだ至ってない。」shudo.icon
やはり手を出していたのか!?sowawa.icon
JavaScript に対する TypeScript みたいな立ち位置になれる?としたら、名前も重要では?Python に対して Tython?と考えたら、何か違うものがすでにあった>肉体言語Tython shudo.icon