TypeScript0.9

TypeScript 0.9

GenericsとOverload on Constants
@ukayare

TypeScript?
● Microsoft製オープンソースプログラミング言語
○ C#の設計者も開発者として参加している
● JavaScriptのスーパーセット
○ 静的片付け
○ クラスベースのオブジェクト指向
● ECMAScript6を見越した実装がされている
● MSのサポートもあり（VisualStudioも使える）

TypeScriptの基本機能

● 静的片付け
● 型推論
● クラスベースオブジェクト指向
○ インターフェース
○ 継承
○ モジュール機構
● ラムダ式
● 構造的部分型付け（Structual Subtyping）

各機能の詳しい内容は

割愛

今週の月曜日に

Working on TypeScript 0.9:
Generics, Overload on Constants
and Compiler Performance
という記事が

0.9で追加されるであろう機能（１）

Generics

Generics?
ジェネリック（総称あるいは汎用）プログラミング (generic programming)はデータ形
式に依存しないコンピュータプログラミング方式。
これはデータ型でコードをインスタンス化するのか、あるいはデータ型をパラメータと
して渡すかということにかかわらず、同じソースコードを利用できるということである。
ジェネリックプログラミングは言語により異なる形で実装されている。ジェネリックプロ
グラミングの機能は70年代にCLUやAdaのような言語に搭載され、次にBETA、
C++、D、Eiffel、Java、そして今はなきDECのTrellis/Owl言語などの数多くのオブ
ジェクトベース(object-based)およびオブジェクト指向(object-oriented)言語に採用さ
れた。
1995年の書籍デザインパターンの共著者は(Ada、Eiffel、Java、C#の)ジェネリクス
や、(C++の)テンプレートとしても知られるパラメータ化された型（parameterized
types）としてジェネリクスについて触れている。これらは、型を指定することなく、型を
定義できるようにする（型は使用する時点で引数として与えられる）。このテクニック
（特にデリゲーションを組み合わせるとき）は非常に強力であるが、同時に「動的に、
高度にパラメーター化されたソフトウェアはより静的なソフトウェアよりも理解しづら
い」とその著者は忠告している（Gang of Four 1995:21）。（出展：wikipedia）

簡単に言うと

パラメータとして
型情報を渡して、
それを基にクラスや関数を
生成するもの

(C++のtemplateが近い)

例

TypeScript JavaScript

var point=[ var point=[
{x:10,y:20}, {x:10,y:20},
{x:5,y:10}, {x:5,y:10},
{x:100,y:80} {x:100,y:80}
].map(p => p.x); ].map(function(p){
return p.x
});//[10, 5, 100]

実は

今でもJavaScript
(正確にいうとECMAScript5)
には既にGenerics（ぽい何か）
はある。
先例のmapも一応Generics
（ぽい何か）。

では

何が問題
なのか？

問題は

評価されて
返ってくる
ものの型

例

TypeScript

var point=[
{x:10,y:20},
{x:5,y:10},
このpointの
{x:100,y:80}
].map(p => p.x)[1];
型は？

期待しているのは

number…？

しかし現実は非情である

number any

ということで

0.9では正しい型が
返るようになる(予定)

※さっきの例ならnumber型

0.9で追加されるであろう機能（2）

Overload on
Constants

Overload on Constants?

特定の引数(定数)に
対しての返り型を
明示的に指定できる

それって

必要なの？

TypeScript的には

必要です

例

「Zaku」を作っている工場があります。
兵隊から「ザクをくれ」と言われたら「zaku」を作っ
て渡します。
しかし「Char」と言う人から「ザクをくれ」と言われた
ときには特注の「CharZaku」を作って渡さないとい
けません。

イメージ

ザクをくれ

ザクをくれ

コードで書くと
class MS{}
class Zaku extends MS{}
class CharZaku extends Zaku{}

interface Factory{
orderZaku(orderName:string):MS;
}
class ZakuFactory implements Factory{
orderZaku(orderName:string){
if(orderName=="Char"){
return new CharZaku();
}else{
return new Zaku();
}
}
}

Overload on Constantsで書くと
class MS{}
class Zaku extends MS{}
class CharZaku extends Zaku{}

interface Factory{
orderZaku(orderName:string):Zaku;
orderZaku(orderName:"Char"):CharZaku;
}
class ZakuFactory implements Factory{
orderZaku(orderName:string){
return new Zaku();
}
orderZaku(orderName:"Char"){
return new CharZaku();
}
}

Overload on Constantsの所感

● interface内の情報が増える
○ 内部実装を見なくても実装を把握しやすい
○ ただ若干抽象度は下がる？
● １メソッドで複数パターンの型を返すようなもの
があるときにはいいかも
○ 該当記事ではHTMLElementやEventに対して使うと便
利だって書いてある
● TypeScriptの現状仕様だとこれはいるな感
○ 仕様上同じ親クラスであっても、別クラスである場合同
一メソッド内で返すことは出来ない

● まあStateパターンの内部実装だよねこれ

まとめ

なかなか
イカした機能が
追加されるようです

で、いつ使えるの？

● とりあえず来月あたりにプレビューとしてα版を
出す予定
○ コンパイラ周りもかなり改修する予定らしい
● 詳しくはcodeplexで動向を見てくれとのこと
○ http://typescript.codeplex.com/

※あくまでも予定なのでこの機能は乗らない可能
性もあります

TypeScript0.9

Recomendados

Recomendados

Más contenido relacionado

Destacado

Destacado (8)

Similar a TypeScript0.9

Similar a TypeScript0.9 (20)

TypeScript0.9