ある)、残るは二つ目の理由だけですが、これは開発者に委ねようと思います。この部分に関しては現状で割と満足しています。キーワードが必要となっており、ちょっと面倒でした。コードを書いていると発狂しそうでしたが、こう書けるようになりました。文のみの場合、省略できます。};}と書くこともできます。ここまでが、取り入れられた部分です。この記法は関数型の記法に合わせてみたのですが、関数型を返す関数とはこのままでは相性が悪いです。y);ですが、これも型推論が搭載されたことにより、ある程度緩和されています。型推論が少し強化されました。y);と、一番外側の型を省略できるようになりました。時間と経たないうちに、外側だけでなく内側の型も推論されるようになりました。y);と記述できます。y);となり、根本的な解決には至っていません。z);のように書けるようにすると、許容できる範囲内に収まるような気がします*1。カリー関数を多用するような層をターゲットにしていないと思われるため、割とアリな選択のように思えます。y;}のような推論はできません。y;}とする必要があります。y;}と書けるようになりました。使いやすくなったかな?と思ったのですが、これはまだのようです。ユーザからも使えるようになったので、使ってみようと思いましたが、これもうまくいきませんでした。以外*2でインスタンス化しようとしても失敗してしまいました。バグなので、そのうち修正されると思います。以下のコードが動きます。}}ただ、クラスじゃなくて関数レベルで型パラメータが取れないと使い勝手はよくないですね。して実装されているため、挙動が読みにくいのもちょっと難点かもしれません。インスタンス化してみるまでエラーが分からないという点が、思いのほか使い勝手が悪かったです。触っているうちに、色々と見えてきましたがそれはまたの機会ということで。進化速度が半端ないTweet広告を非表示にする関連記事2014-03-20値制限なんかTLで偶然そんな話題があったので。