編集可能

TypeScript の短所のまとめ

TypeScriptの「残念ポイント」をしっぽさん(tail_y)が呟いていたのでトゥギャりました。 言語を dis りたいわけではなく、今回は短所が多いですが TypeScript の長所短所の理解のためにまとめました。
11
tsugehara toyokazu @tsugehara

@tail_y 普通に大規模開発向きかと思ってたんですが、なんででしたっけ。コンパイル速度が遅いのとモジュール機構がいまいちだからですか?

2013-09-13 12:28:48
尾野(しっぽ) @tail_y

@tsugehara 何を大規模と言うかによりますけど「誰が参加するかわからない」「運用が長期に渡る」といった基準で言うと、スコープの巻き上げ挙動、readOnlyが無い、importが無い、enumの不完全さ、コンパイル速度あたりが深刻になってくると思います。

2013-09-13 12:34:10
尾野(しっぽ) @tail_y

@tsugehara ああ、あともう1個忘れてました。Haxeは型推論に失敗するとエラーを出すのですが、TypeScriptは型をanyにして、これをスルーします。これも特に大規模開発では事故のもとで、非常によろしくない挙動だと思います。

2013-09-13 12:43:34
尾野(しっぽ) @tail_y

@tsugehara どうしても140字だと説明しきれませんが、もっと抽象的なことを言ってしまうとTypeScriptは、今JSが使われている現場(Webページの構築など)で活躍出来るようにする、という思想があるように思え、中規模程度にフォーカスして作っているのではと思います。

2013-09-13 12:45:19
尾野(しっぽ) @tail_y

ちょっと聞かれたので、TypeScriptの残念なところをまとめておこう。ちなみに僕はメインでTSを使っているわけではなく、またTS自体バージョンがこれから上がるので改善されるかもしれないポイントも多い。あとゲーム等を作ること想定で言うので、TSには不利な舞台という前提で。

2013-09-13 12:52:00
尾野(しっぽ) @tail_y

【TS残念ポイント】コンパイルが遅い。大規模開発では問題になってしまうし、もともと非コンパイルだったJSの代用としても残念な感じ。

2013-09-13 12:53:30
尾野(しっぽ) @tail_y

【TS残念ポイント】enumが残念。とはいえ、通常のenumの役割は果たしているので、どっちかっていうと横に並んでいるHaxeのenumがすごすぎて残念に見えてる感じはある

2013-09-13 12:54:03
尾野(しっぽ) @tail_y

【TS残念ポイント】関数のオーバーロードが「出来る」。一見いいようだけど、基本的にオーバーロードはバグのもとになりやすい機能で、HaxeやAS3では避けられている。また、判定は自分で書かないといけないのに、typeofの挙動の変さと相まって超残念なことになっている。

2013-09-13 12:56:17
Yukiya Okuda / ツク郎くん™ @alumican_net

判定は自分で書かないといけないオーバーロードってただのJSじゃね?

2013-09-13 12:57:40
尾野(しっぽ) @tail_y

@alumican_net 外部から見るとオーバーロードに見えるとかなんとかだったような。

2013-09-13 12:58:16
尾野(しっぽ) @tail_y

【TS残念ポイント】型推論が貧弱な上、失敗してもちゃんと失敗したって言ってくれない。黙って型をany(Flashで言うところの*)にする。

2013-09-13 12:59:15
池田 泰延 / Yasunobu Ikeda @clockmaker

おや、@tail_y さんが TypeScript を dis ってる!? ちょっと様子見でw

2013-09-13 12:59:54
尾野(しっぽ) @tail_y

【TS残念ポイント】{}がスコープを作らない。つまり、forで使っているiは、for外の影響を受けるし、2箇所のforはiの2重宣言となる。また、スコープ巻き上げの挙動はJSのあれとほぼ一緒。

2013-09-13 13:02:13
尾野(しっぽ) @tail_y

【TS残念ポイント】JSコードと一対一で対応しているので(これは便利なポイントでもあるのだけども)、最適化やインラインは非常に貧弱。最適化特化のJSXに比較しては当然の事、Haxeでもやることを、やってくれないことが多い。

2013-09-13 13:04:45
尾野(しっぽ) @tail_y

【TS残念ポイント】importが無い。記述が面倒になるというよりは、これによって、プログラマがパッケージ(モジュール)を切らなくなり、どんどんトップレベルに置き始めるようになるのが問題だと思う。

2013-09-13 13:06:20
わかめ@毎日猫がいる @vvakame

@tail_y http://t.co/T8GKJguJmu 一部気になったことがあったのでコードを書いてみました。あと、"Haxeは型推論に失敗するとエラーを出すのですが、TypeScriptは型をanyにして、これをスルーします。" について、サンプルコードとか欲しいです。

2013-09-13 13:06:57
尾野(しっぽ) @tail_y

@vvakame あれ、importあったんですか。型について、適当な位置になっちゃいますけど追加しました。30行目からです。 http://t.co/RH8pzc6ZH5

2013-09-13 13:15:13
尾野(しっぽ) @tail_y

【TS残念ポイント】について修正。importあるそうです。

2013-09-13 13:16:28
わかめ@毎日猫がいる @vvakame

@tail_y あーなるほど、var hoge; と 初期化が同じタイミングじゃないと型推論されなくてanyになる、ということですね。わかりましたありがとうございます。確かにエラーにしてくれたほうが安心できますね。

2013-09-13 13:17:01
尾野(しっぽ) @tail_y

【TS残念ポイント】public functionを外部から書き換え可能。

2013-09-13 13:18:04
尾野(しっぽ) @tail_y

@vvakame これ、推論失敗してるんじゃなくて、anyを指定したことになっている、って認識のほうが正しいんですかね?他の型推論言語って、こういうのをstringにしてくれるのを型推論って言うような気がするのですが・・・。

2013-09-13 13:20:01
尾野(しっぽ) @tail_y

あれ、でもimport の挙動なんか違うような気がしないでもない・・・・。どっちかっていうとtypedefみたいな動きなのか。まあ*指定はどうせimport で使うべきではないので、無くてもいいけど。

2013-09-13 13:21:48
わかめ@毎日猫がいる @vvakame

@tail_y 言われてみればそっちのほうが適切な気がしますね…。構文木をあんまり舐め回さなくてすぐさま確定できなければanyだ!的な実装なんでしょうね。コンパイラこれ以上重くなっても困るですけど…。

2013-09-13 13:22:26
尾野(しっぽ) @tail_y

@vvakame 重くなっても困るので、型推論を強化する方向が無理だとしても、確定できなければ「anyだ!」より「なんですか?」って出てくるほうがいいですよね。バージョンアップでそうなってくれることを祈る感じですが、今あるコードが大量に死ぬから入れない可能性も…。

2013-09-13 13:25:10
わかめ@毎日猫がいる @vvakame

@tail_y めっちゃ同意です。1.0までだったらどんな暴挙にでてもさほど怒られないと思うので頑張っていただきたいです…。

2013-09-13 13:27:24
残りを読む(13)

コメント

ゆうてん🖖 @cloud10designs 2013年9月13日
TypeScriptやCoffeeScriptはあくまでJavaScriptのシンタックスシュガーだと思えば気軽に使える。 でもやっぱり別の言語の使用感を求められてるんだな〜。気持ちはよくわかるけど。
0
ひよこ3分07秒 @chick307 2013年9月14日
挙げられている欠点は最新版で解決していたり、きれいなJavaScriptを吐くために必要な副作用だったりで、わかって使えば気にならないはず。でも、コンパイルの遅さとモジュール周りの融通の効かなさは直してほしい。
0