【Crystal】Macroについて

1.

Macroについて 2018.06.21 @at_grandpa Crystal 勉強会 #6 in 渋谷

2.

@at_grandpa

3.

圧倒亭グランパのブログ

4.

Crystal Advent Calendar 2017

5.

Crystal Advent Calendar 2017

6.

Macroについて

7.

✔ Macro の雰囲気を話します ✔ 細かい syntax などはドキュメント参照

8.

None

9.

✔ 「Crystalのコード」を書くコード ✔ コンパイル前に実行される Macro

10.

None

11.

Macro定義

12.

Macro呼出

13.

Macro呼出 Macro展開

14.

Macro展開後のコードがコンパイルされる

15.

どういった利点があるのか

16.

✔ 重複を排除しやすい  ✔ メタプロ風味 ✔ DSLを提供しやすい

17.

重複を排除しやすい

18.

None

19.

重複

20.

重複

21.

重複重複排除

22.

getter だけなのに複雑では…

23.

getterあります Object クラスに定義されている Macro

24.

便利 Macro たくさん！ https://crystal-lang.org/api/Object.html

25.

Crystal Advent Calendar 2017 便利 Macro 紹介してます

26.

重複を排除しやすい ✔ ある程度は重複排除できる  ✔ 便利 Macro がすでにいくつかある

27.

メタプロ風味

28.

✔ rubyだと instance_methods と deﬁne_method ？各メソッドの実行時間を出力したい！お題

29.

簡単なライブラリクラスを書いてみる「MethodProf」クラスとでも名付けよう

30.

まずは使用例

31.

出来上がりイメージ

32.

出来上がりイメージ１秒 sleep して String を返す

33.

出来上がりイメージ１００万回 String を結合する

34.

出来上がりイメージ１００万回 String を２つ結合している

35.

出来上がりイメージ MethodProf を include して Macro を展開している

36.

出来上がりイメージインスタンスを生成してメソッド呼び出し

37.

出来上がりイメージ

38.

MethodProf クラス

39.

None

40.

macro構文で定義（引数はio）

41.

・@type は型情報にアクセスできる・@type.methods で型に定義されているmethodの配列を得る　- ArrayLiteral(Crystal::Macros::Def) ・initializeメソッドは計測対象から外すので配列から除去 → initialize 以外の
method 情報で for を回す

42.

・展開される Crystal のコードを定義・呼出先に def 構文が展開される

43.

・メソッド名は Crystal::Macros::Def#name で得る・引数は Crystal::Macros::Def#args で得る　- 「*」をつけて splat展開している

44.

・計測のために時間を保持

45.

・lambda を生成　- 引数は対象のメソッドと同じ　- メソッドの中身は Crystal::Macros::Def#body で得る・lambda を即座に
call する  　- 渡す引数は args の名前を羅列　- *(m.args) は型情報も含まれてしまうので、ここでは名前だけ展開・return_value に格納

46.

・計測結果を io に出力

47.

・lambda の結果を返す

48.

Macro を展開するとこうなります loop2を例に

49.

Macro定義 loop2展開後

50.


51.


52.


53.


54.


55.

✔ ASTNodeの情報からコンパイル時にコードを生成  ✔ splat展開が優秀だった！ ✔ もちろん「動的なclass定義」はできないメタプロ風味

56.

DSLを提供しやすい

57.

https://github.com/at-grandpa/clim

58.

https://github.com/at-grandpa/clim ✔ ruby の thor 風 syntax ✔ オプションの型指定  ✔
default / required  ✔ サブコマンド  ✔ カスタムヘルプ

59.

None

60.

None

61.

None

62.

すべて Macro ・最終的に全てクラスやメソッドの定義に展開される

63.

None

64.

コンパイル時に raise で落としてエラーメッセージを出す

65.

DSLに渡された文字列を使ってオプションの独自のクラスを定義 DSLに渡された文字列を使ってコマンドの独自のクラスを定義

66.

DSLを提供しやすい ✔ 複雑なコードも簡単に記述できるようになる

67.

✔ 重複を排除しやすい  ✔ メタプロ風味 ✔ DSLを提供しやすい Macro の利点おさらい

68.

Macro周りのtips

69.

デバッグしづらいのでは？

70.

エラー文が親切です！

71.

エラー文が親切です！ Macro 展開後のどこでエラーが起きているかわかる

72.

エラー文が親切です！エラー内容も具体的

73.

`crystal tool expand` があります！ ✔ ファイルとカーソル位置指定 ✔ カーソル位置の Macro を展開して表示

74.

crystal tool expand ファイルとカーソル位置を指定

75.

crystal tool expand 展開されたコードを見ることができる

76.

`macro` ディレクティブなしでもOK

77.

実は直接書けます環境変数でcrystalコードを切り替えたりできます

78.

展開後は正しいのにエラーなんだけど

79.

❌ Macro展開後、全体のコードが正しい ⭕ Macro展開のみで出来たコードが正しい

80.

❌ Macro展開後、全体のコードが正しい ⭕ Macro展開のみで出来たコードが正しい

81.

❌ Macro展開後、全体のコードが正しい ⭕ Macro展開のみで出来たコードが正しいこの Macro 展開だけでは `when` だけしか展開されない  →
Macro展開だけのコードを見ると syntax error → コンパイラ落ちる

82.

begin ~ end を使う

83.

begin ~ end を使う begin ~ end で囲めば、ひとつのMacroとして扱われる →
展開後のコードは正しい ※ 実は {% begin %} は {% if true %} のシンタックスシュガーです

84.

まとめ

85.

✔ 「Crystalのコード」を書くコード ✔ コンパイル前に実行される  ✔ 重複を排除しやすい  ✔ メタプロ風味 ✔ DSLを提供しやすい
Macro とは

86.

Happy Crystalling ﬁn

【Crystal】Macroについて

【Crystal】Macroについて

Want more?

Transcript