TypeScriptのanyは嘘？

ユーン @euxn23

any は嘘の型 #tsjp

伊藤 瑛 @Akito0107

anyは嘘 #tsjp

dz づ / Kazumi 👾 @dz_

嘘をつかないためのお話！any汚染☠から守る！ #tsjp

NOGPON @NOGPON

any と書いた瞬間、あなたは嘘を書いている #tsjp

KazutakaSakurai @kazutaka

かつてはObjectで逃げ今はanyで逃げている私は嘘付きだったw　 #tsjp

ますかっと @occar421

嘘（any）も方便 #tsjp

mgr=['カービィ','ちょろ太','まぐろ','もぐら','みゅー'] @biccur_gama

anyとas ・正しい方向に型を修正するために使う ・嘘を変数に保存した時点でアウト ・anyは嘘で伝染する #tsjp

うすい @n_skij

any, asはあくまでも正しく修正してあげるために使う 都合の良い嘘にするものではない #tsjp

dz づ / Kazumi 👾 @dz_

嘘(anyなど)による汚染範囲を狭くすることが重要 #tsjp

FUJI Goro @__gfx__

TypeScriptのanyを「嘘」と呼び、anyが伝播するのを「嘘の汚染」と呼ぶのは、言葉が強すぎる。ぼくとしてはこういう言い方をする界隈には近づきたくないな。

ダチ @dachi_023

anyが嘘ねえ

🈚️うひょ🤪✒📘 TypeScript本発売🫐 @uhyo_

Q. anyだって立派な言語機能ですよね？ A. はい、嘘によって安全性を下げて安全性とコストのバランスを良くするという有用性を持つ言語機能です （ぇ

wm3 @wm3

TypeScript の any を嘘と呼ぶのはまあある意味しっくりした表現(Javaで言えば何でも呼べるが失敗するオブジェクトみたいなものだし)だけど、あくまでそういう開発スタイルで書いたらそうなるだけで、TypeScriptがそういうスタイルだけを推奨してるわけではないだろうからなあ。

うしろのこ @ushiro_noko

まあanyを実体にしようとすると（汚染したり伝播したりを表現しようとすると）妥協より嘘の方がしっくりくるのはわかる

きしだൠ(K1S) @kis

@__gfx__ なんか、言葉が強いとかじゃなくて、anyを嘘と呼ぶのは言語機能の実態にあってないので、anyの機能をしらないか嘘という言葉の意味をしらないかどちらかな気がする。 cの long* lp= &hoge int* ip=(int*)lp みたいなのは嘘感あるけど。

新米医療情報技師 @Kengo_TODA

anyは嘘、私としてはなんの違和感もなく「そうだよねぇ」って感じ。少なくともインタフェースに露出したanyは多くの場合に驚き最小の法則無視でしょ。

kmizu @kmizu

@__gfx__ 「嘘」というか、anyはanyでしかないというか、型システム的にはtopであると言えばいい気が。

kmizu @kmizu

あー、うん。この発表ですか。 speakerdeck.com/uhyo/an-quan-x… テクニカルに間違ったことは言っていない（確かに「嘘」ってのは、危険性を伝えるためにあえてそういう表現使ってる気がしますね）ので、あとはこういうスタイルの発表を好むかどうかでしかないですね。

FUJI Goro @__gfx__

@kmizu 件の発言は釣りの意図を感じるので型理論的な正しさとは関係ないかと。ところで、top型って「任意の操作を警告なしで許可してコンパイルを通す」という意味も含意するんでしたっけ？

R @RyoNkmr_

TypeScriptは各種フレームワークの対応も進んできて導入が昔よりだいぶ楽になったし、最近は「がんばらない」ところから始めると良いよ！という優しい世界観醸成されつつあった(ように見えた)中、「any使うのは嘘ついてるのと一緒」はanyから始めた人たちを無用に萎縮させる気がする

おもちメタル @omochimetaru

@__gfx__ @kmizu 含まないー

kmizu @kmizu

@omochimetaru @__gfx__ 含まないですね。ちょっとそこは一般的なanyとTypeScriptのanyとの違いです。

kmizu @kmizu

@omochimetaru @__gfx__ で、ちゃんと件のスライド読んだ感想ですが、後半は表現が過激になってますが、「安全性に極振りした」という前提を置いているので、あとは好みの問題でしかないと思いました。嫌うのもわからなくはないですが、「釣り」というのは逆に登壇者に失礼かと。

𝕂𝕒𝕚𝕕𝕠 @odiak_

@kmizu @omochimetaru @__gfx__ 今はunknown型が一般的なtop型になっているようです

FUJI Goro @__gfx__

@kmizu @omochimetaru 自分と違うポリシーをもつ人たちをコードで嘘をつく人という扱いにしているように見えますが。