Thriftの謎とIDLの型システム

Sadayuki Furuhashi @frsyuki

型ベース+属性でやるならgenericsが欲しい。resolve<K,V> map<K,V> @ordered cpp:<K,V>; とか。generics付きのtypedefをサポートするか、フィールドベースか、微妙。

Sadayuki Furuhashi @frsyuki

両方できればいいという話も。フィールドベースに加えて typedef<K,V> map<K,V> OrderedMap<K,V>; typespec<K,V> OrderedMap<K,V> cpp:map<K,V>; が書ければいい。

Muga Nishizawa @muga_nishizawa

AOP がアップを始めた！

Sadayuki Furuhashi @frsyuki

MessagePack IDL 言語仕様案。色々いれた。 http://bit.ly/e2exFx

Sadayuki Furuhashi @frsyuki

基本型14種、コンテナ型3種、nullable("?")とoptional、enum、typedef、総称型、typespec、例外クラス、service定義、include。

Muga Nishizawa @muga_nishizawa

@frsyuki 40行目の NullableExample message 内の string? の '?' って何ですか？？

Sadayuki Furuhashi @frsyuki

@muga_nishizawa nullableです。よく使いそうなので短めにしてみました。

Muga Nishizawa @muga_nishizawa

nullable ってことか！

Muga Nishizawa @muga_nishizawa

@frsyuki message NullableExample? { ... } はナシ？

Muga Nishizawa @muga_nishizawa

@frsyuki いや、なくてもよいけど、以前「フィールド全部を nullable にしたい」という要望があったのを思い出しました。

Sadayuki Furuhashi @frsyuki

?だけで済むなら要らない気がした…！ でもどうだろうなぁ。

Muga Nishizawa @muga_nishizawa

@frsyuki いや、あくまで便利機能なので、なければないというポリシーでも良いと思います。

Sadayuki Furuhashi @frsyuki

（ちなみにJava版はクラスの宣言に @MessagePackMessage(FieldOption.NULLABLE) アノテーションを付けると、デフォルトでnullableになる

Muga Nishizawa @muga_nishizawa

@frsyuki おぉ… 知らなかったー＞＜ RT @frsyuki: （ちなみにJava版はクラスの宣言に MessagePackMessage(FieldOption.NULLABLE) アノテーションを付けると、デフォルトでnullableになる

Muga Nishizawa @muga_nishizawa

@frsyuki Generics は必要ですか？IDL を使う段階だと、もう型はある程度確定している気がするのだけど、そんなことはない？さっきつぶやいてましたっけ？

Sadayuki Furuhashi @frsyuki

@muga_nishizawa Genericsの用途は主にtypespecになると思います。

Muga Nishizawa @muga_nishizawa

@frsyuki ごめん、たぶんぼくが理解できてないんだ。typespec って、実装の詳細を後付けするということでよいですか？

Sadayuki Furuhashi @frsyuki

@muga_nishizawa そうですそうです。型やtypedefやフィールドについて、コード生成される実際の型を上書きします。

Sadayuki Furuhashi @frsyuki

Genericsで記述しても、生成されるコードはgenerics（やtemplate）ではなくPOJO/POD型、にしそうだけどgenericsになっていた方が便利なケースってあるかな。

Sadayuki Furuhashi @frsyuki

typedef<V> map<string,V> GenericStringMap より typedef map<string,V> GenericStringMap<V> の方がいいかも。あるいは alias GenericStringMap<V> map<string,V>

Muga Nishizawa @muga_nishizawa

@frsyuki たぶん充分 parse は可能だとは思うのですが、この 97 行目の GenericExample の V には、いつ実際の型が代入されるのですか？利用用途が気になります…

Sadayuki Furuhashi @frsyuki

コード生成プラグインにGenericな型が渡されることはない。型変数がすべて解決されている型だけをコード生成し、解決されていない総称型はコード生成しないので。

Muga Nishizawa @muga_nishizawa

@frsyuki なるほど

Sadayuki Furuhashi @frsyuki

@muga_nishizawa typespecはGenericをうまく使わないと相当に繁雑になりそうです。ただtypespecは実装の詳細の指定なので、例えばパフォーマンスが重要なケースか、性能チューニングのフェーズに使うことになるので、多少繁雑でも大丈夫かなーと思っています。

Muga Nishizawa @muga_nishizawa

ふむふむふむ。