Re: TypedCoffeeScript #CoffeeScript

というのを昔作ってたんだけど、最近また作り始めた。

npmにはまだ登録してない。npm install -g mizchi/tcs で入る。typescriptのtscと紛らわしいので、たぶんそのうち名前変える。

今動いてるコード。

# this is comment

# expr

1
a.b
(a()).b
1 > 2
{}
{a: 1, b: 2}
{
  c: 1
  d: 2
}

# assignment with type annotation
var x1 = 3
var x2: number = 3

# Can declare let and const but flowtype can't parse them yet
let y = 2

# function
myFunc(a: number, b: number): number
  # return last expression
  a + b

() => 1

setTimeout(() =>
  myFunc(1, 2)
, 1000)

# class
class X<T>
  n: number
  _x: T
  static staticFunc() {}

  foo<U>()
    a

  get prop() {this._x}

  set prop(_x:number)
    @._x = x

class Y extends X<number>
  constructor()
    super()

var y = new Y()

# interface
interface Point
  x: number
  y: number

interface Point3d extends Point
  z: number

# if
if true
  a
else if false
  b
else if false
  c
else
  d

# switch
switch e
  when 1
    a
  when 2
    a
  else
    a

# for
for var i in items
  print(i)
# for of is same with es6, not coffee
for i of items
  print(i)

# module
import x from './x'
export default {}

ES2015時代のcoffeescript、というコンセプトで設計した。

使い方

$ tcs -s src -o _tcs -t flow
$ flow init
$ flow
$ tcs -s src -o lib  -t es5

flowのコード、もしくはes5へコンパイルできる。

TypedCoffeeScript v1の反省

昔作った版でやっていたこと

既存のCoffeeScriptコンパイラへの大規模な介入
型システムの自作

要約: 頑張りすぎた。勉強にはなったが、設計ミスに気づき作業量を見積もった段階で、個人で手を付けられるものではなくなり、放置してしまった。

その反省を活かして、今回は次のようになっている

flowtypeのコードを生成する(型システムを実装しない)
パーサのみの実装(直接flowtypeのASTを構築し、複雑な後処理をしない)

設計

pegjs/pegcoffee
recast
babel

recastはreact-toolsの中で使われているパーサで、flowtypeの型アノテーション付きコードを生成できる唯一の実装。ParserAPI + 型アノテーションの独自ASTで、これをターゲットにしてpegjsでパースしながらASTを直接組み立てる。

ここは仕様化されてないので、今後パーサを書き直すことも想定している。

で、この言語使えるの？

es5がターゲットのcoffeescript風言語として扱うだけならとくに問題ない。とはいえエラーメッセージが不親切だったり、分割代入や、自分があんまり使わないwhileの実装が実は抜けてたりする。これは単純に完成度の問題なので、時間をかければどうとでもなる。

というのと別に、flowtypeの型チェック機能、ファイル単体なら使えるんだけど、複数ファイルに分割した時のimport/export の挙動がかなり怪しい。これはfacebook/flowに実装依存になるので、なんとも言いがたい。とりあえずコード生成まではできる。

この言語が使えない、というよりは、flowtypeの挙動がよくわからんってのがある。nuclidの公開のタイミングでアップデートしてくると思うので、そのタイミングでまた考える。

CoffeeScriptからの変更点

そもそもスーパーセットを目指さない(頑張り過ぎない)
CoffeeScript主要な機能はES2015に取り込まれたので、できるだけES2015に近づける
議論が多い変数の自動宣言は削除。letやconstを使いたいのもある。

reiny への適用

reinyっていうテンプレートエンジンを作っていたのだけど、テンプレートエンジン上で、テンプレートエンジン内のロジックとして if 2 > 1 みたいなコードを書けるようにしようとしたとき、ここで 2 > 1 をパース出来るexpressionノードのパーサが必要になる。これを実装するとなるとほぼプログラミング言語に近くなる。

だたら先に前々から作りたかったtyped coffee script v2 実装して、その後バックポートすりゃいいじゃん、と作り始めた。実はそんなに時間はかけてなくて、およそ3日分ぐらいの作業量。

今後

隙をみてちゃんと作っていく。頑張り過ぎず長期的に開発するのが目標。実装は単なるpegjs(pegcoffee) のパーサジェネレータがあるだけなので、興味ある人は読んでみるといいと思います。

ちょっとコード汚いけど… https://github.com/mizchi/tcs/tree/master/grammars

flowtypeのコード生成についてはflowの成り行きを見届ける感じで。