免責事項：説明されているツールは、物議を醸す評判があります。 どこにいても使用することを勧めるのではなく、テクノロジーのスリルを軽減するために使用される概念に慣れるだけです。



記事のテキストコピーと同様に、書かれたソースはgithubにあります。

parse_transformとは

parse_transform-コンパイル前のAST変更メカニズム。 Erlangの構文を超えることなく、構造（意味）の意味を変更するように設計されています。



残念ながら、これについての情報はWeb上にほとんどないため、非グルアーランのエントリのしきい値は非常に高くなります。

私たちは何をしますか

この記事では、ASTアーランについて少し説明し、単純な変換の例を示します。また、parse_transformを記述してステートレスgen_serverを作成するプロセスを示します（タスクはあまり意味がありませんが、例として機能します）。最後にリンクを示します。初心者トランスのセットで。

アーランのAST

念のため： AST定義



ASTの説明を 100回読むよりも、ASTを1回見る方が良いでしょう。 したがって、各行がどのように変換されるかを確認する小さなモジュールを作成します。



したがって、 astdemo.erlのソースコード：

-module(astdemo). -export([hello/0, hello/2]). hello() -> hello("world", 1). hello(_What, 0) -> ok; hello(What, Count) -> io:format("Hello, ~s~n", [What]), hello(What, Count - 1).
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

ASTを表示するには、このファイルのeppモジュールからparse_file関数を設定する必要があります。

  Eshell V5.8.5（^ Gで中止）
 1> {ok、Forms} = epp：parse_file（ "astdemo.erl"、[]、[]）、io：format（ "〜p〜n"、[Forms]）。
 [{属性、1、ファイル、{"astdemo.erl"、1}}、
  {属性、1、モジュール、astdemo}、
  {属性、2、エクスポート、[{hello、0}、{hello、2}]}、
  {関数、4、こんにちは、0、
            [{句、4、[]、[]、
                     [{呼び出し、5、
                            {アトム、5、こんにちは}、
                            [{string、5、 "world"}、{integer、5.1}]}]}]}、
  {関数、7、こんにちは、2
            [{clause、7、[{var、7、 '_ What'}、{integer、7.0}]、[]、[{atom、8、ok}]}、
             {句、9、
                     [{var、9、 'What'}、{var、9、 'Count'}]、
                     []、
                     [{呼び出し、10、
                            {リモート、10、{アトム、10、io}、{アトム、10、形式}}、
                            [{string、10、 "Hello、〜s〜n"}、
                             {cons、10、{var、10、 'What'}、{nil、10}}]}、
                      {呼び出し、11
                            {アトム、11、こんにちは}、
                            [{var、11、 'What'}、
                             {op、11、 '-'、{var、11、 'Count'}、{integer、11,1}}]}]}]}、
  {eof、12}]
わかった

各式は少なくとも3つの長さのチューブに変換されますが、最初の2つの要素は常にタイプと文字列であり、それに固有の説明が続きます。 特定の場所に何があるかが明確でない場合、 ドキュメントはサービスにあります。

Parse_transform / 2関数

次に、dummy-parse_transformを実行して、次に対処する必要があるものを確認します。 これを行うには、変換を処理するモジュールを作成し、ASTを操作する代わりに、それを印刷します。



したがって、 demo_pt.erl ：

 -module(demo_pt). -export([parse_transform/2]). parse_transform(Forms, _Options) -> io:format("~p~n", [Forms]), Forms.
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

対応するディレクティブをastdemo.erlに挿入します 。

 -module(astdemo). -compile({parse_transform, demo_pt}). -export([hello/0, hello/2]). ...........
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

コンパイルします：

  Eshell V5.8.5（^ Gで中止）
 1> c（astdemo）。
 [{属性、1、ファイル、{"./ astdemo.erl"、1}}、
  {属性、1、モジュール、astdemo}、
  {属性、3、エクスポート、[{hello、0}、{hello、2}]}、
  {関数、5、こんにちは、0、
            [{句、5、[]、[]、
                     [{呼び出し、6、
                            {アトム、6、こんにちは}、
                            [{string、6、 "world"}、{integer、6.1}]}]}]}、
  {関数、8、こんにちは、2
            [{clause、8、[{var、8、 '_ What'}、{integer、8,0}]、[]、[{atom、9、ok}]}、
             {句、10、
                     [{var、10、 'What'}、{var、10、 'Count'}]、
                     []、
                     [{呼び出し、11
                            {リモート、11、{アトム、11、io}、{アトム、11、フォーマット}}、
                            [{string、11、 "Hello、〜s〜n"}、
                             {cons、11、{var、11、 'What'}、{nil、11}}]}、
                      {呼び出し、12、
                            {アトム、12、こんにちは}、
                            [{var、12、 'What'}、
                             {op、12、 '-'、{var、12、 'Count'}、{integer、12,1}}]}]}]}、
  {eof、13}]
 {ok、astdemo} 

ご覧のとおり、ASTは同じ（改行まで）ですが、今回はコンパイル時に出力されました。

コンパイラディレクティブは、変換のために到着したASTで既に削除されていることに注意してください。



オプションで伝えられることは、好奇心reader盛な読者はおそらく自分で見つけるでしょう。 この記事はASTについてです。

最初の変換

練習に役に立たないことをやってみましょう-関数の名前を「hello / 0」から「hi / 0」に変更します。 hello / 0はモジュール内から呼び出されるのではなく、外部からしか呼び出せないため、これは簡単です。 したがって、エクスポートのリストと関数のタイトルを変更するだけで十分です。

シングルフォームトランス

AST（フォームバインディング）はリストであり、その各要素は非常に短いタイプのリストのフォームであるため、ミューテーター関数を介してすべてのフォームを渡すことは論理的です。 タスクは単純であり、各式の変換は他のコンテンツに依存しないため、 lists：mapが適しています。

エクスポートと関数ヘッダーを変更する関数は次のようになります。

 % hello_to_hi replaces occurences of hello/0 with hi/0 hello_to_hi({attribute, Line, export, Exports}) -> % export attribute. Replace {hello, 0} with {hi, 0} HiExports = lists:map( fun ({hello, 0}) -> {hi, 0}; (E) -> E end, Exports), {attribute, Line, export, HiExports}; hello_to_hi({function, Line, hello, 0, Clauses}) -> % Header of hello/0. Just replace hello with hi {function, Line, hi, 0, Clauses}; hello_to_hi(Form) -> % Default: do not modify form Form.
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

今、すべて一緒に

parse_transform関数のコードを変更することにより、この関数を有効にします。

 parse_transform(Forms, _Options) -> HiForms = lists:map(fun hello_to_hi/1, Forms), io:format("~p~n", [HiForms]), HiForms.
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

demo_ptをコンパイルし、混乱させないようにします。

確認する

新しいトランスフォーマーでastdemoをコンパイルしようとしました：

  Eshell V5.8.5（^ Gで中止）
 1> c（astdemo）。
 [{属性、1、ファイル、{"./ astdemo.erl"、1}}、
  {属性、1、モジュール、astdemo}、
  {属性、3、エクスポート、[{hi、0}、{hello、2}]}、
  {関数、5、こんにちは、0、
            [{句、5、[]、[]、
                     [{呼び出し、6、
                            {アトム、6、こんにちは}、
                            [{string、6、 "world"}、{integer、6.1}]}]}]}、
  {関数、8、こんにちは、2
            [{clause、8、[{var、8、 '_ What'}、{integer、8,0}]、[]、[{atom、9、ok}]}、
             {句、10、
                     [{var、10、 'What'}、{var、10、 'Count'}]、
                     []、
                     [{呼び出し、11
                            {リモート、11、{アトム、11、io}、{アトム、11、フォーマット}}、
                            [{string、11、 "Hello、〜s〜n"}、
                             {cons、11、{var、11、 'What'}、{nil、11}}]}、
                      {呼び出し、12、
                            {アトム、12、こんにちは}、
                            [{var、12、 'What'}、
                             {op、12、 '-'、{var、12、 'Count'}、{integer、12,1}}]}]}]}、
  {eof、13}]
 {ok、astdemo}
 2> astdemo：こんにちは（）。
ハローワールド
わかった 

いいね！ 彼らが望んだように機能した。 もう少し役に立つことをする時間です。

ステートレスgen_server parse_transform

gen_serverの動作を使用してモジュールを作成する場合、格納するものがないため、Stateを一緒にドラッグする必要がない場合があります。Stateをhandle_anythingから最終式にドラッグすると、コードが詰まります。 parse_transformを実行して、 handle_call / 2、handle_cast / 1、handle_info / 1を定義できるようにします。 かどうか。 記事をもう少し短くするために、変換handle_call / 2-> handle_call / 3のみを示し 、興味のある人は他のすべてを再定義します。

コンセプト

gen_serverの動作には、この方法で（簡単にするために） handle_callの定義が必要です（ ドキュメント ）：

 handle_call(Request, From, State) -> ..... {reply,Reply,NewState}.
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

Stateを考慮する必要がないため、構文は次のようにします。

 handle_call(Request, From) -> ..... Reply.
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

変換計画

• エクスポートhandle_call / 2を検索して、 handle_call / 3に変更します。
• handle_call / 2の関数定義の中に、Stateパラメーターを追加し、 {reply、...、State}の各句の最終式を組み立てます

ねこ

トレーニングします。 構文でhandle_callを定義し、その類似物をトランスフォーマーの比較および作成用の標準形式で定義しました。

 -module(sl_gs_demo). -behavior(gen_server). -compile({parse_transform, sl_gs}). -export([handle_call/2, ref_handle_call/3]). -export([handle_cast/2, handle_info/2]). -export([init/1, terminate/2, code_change/3]). % This will be transformed handle_call(Req, From) -> {Req, From}. % That's what handle_call should finally look like ref_handle_call(Req, From, State) -> {reply, {Req, From}, State}. % Dummy functions to make gen_server happy % Exercise: Try to insert them automatically during transformations :) handle_cast(_, State) -> {noreply, State}. handle_info(_, State) -> {noreply, State}. init(_) -> {ok, none}. terminate(_, _) -> ok. code_change(_, State, _) -> {ok, State}.
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

コード

すべてが前回と同じように記述されました-epp：parse_fileの出力を見て、必要なものに合わせてカスタマイズします。

 -module(sl_gs). -export([parse_transform/2]). parse_transform(Forms, _Options) -> lists:map(fun add_missing_state/1, Forms). add_missing_state({attribute, Line, export, Exports}) -> % export attribute. Replace {handle_call, 2} with {handle_call, 3} NewExports = lists:map( fun ({handle_call, 2}) -> {handle_call, 3}; % You can add more clauses here for other function mutations (E) -> E end, Exports), {attribute, Line, export, NewExports}; add_missing_state({function, Line, handle_call, 2, Clauses}) -> % Mutate clauses NewClauses = lists:map(fun change_call_clause/1, Clauses), % Finally, change arity in header {function, Line, handle_call, 3, NewClauses}; add_missing_state(Form) -> % Default Form. change_call_clause({clause, Line, Arguments, Guards, Body}) -> % Change arity in clauses. NewArgs = Arguments ++ [{var, Line, 'State'}], % Add State argument % Then replace last statement of each clause with corresponding tuple NewBody = change_call_body(Body), {clause, Line, NewArgs, Guards, NewBody}. change_call_body([Statement | Rest=[_|_] ]) -> % Rest has to be non-empty list for this % Recurse to change only last statement [Statement|change_call_body(Rest)]; change_call_body([LastStatement]) -> % Put it into tuple. Lines are zero to omit parsing LastStatement [{tuple,0, [{atom,0,reply}, LastStatement, {var,0,'State'}] }].
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

ヘルスチェック

  Eshell V5.8.5（^ Gで中止）
 1> c（sl_gs_demo）。
 {ok、sl_gs_demo}
 2> {ok、D} = gen_server：start_link（sl_gs_demo、[]、[]）。
 {OK、<0.39.0>}
 3> gen_server：呼び出し（D、こんにちは）。
 {hello、{<0.32.0>、＃Ref <0.0.0.83>}}

成功！ フクロウを仕上げてgithubに置くことは残っています。

まとめ

興味のある読者は、ErlangでASTに会い、その変換方法のおおよそのアイデアを受け取ったことを願っています。 おそらく誰かがparse_transformについて最初に学んだのでしょう。

この記事には、独自の変換を書き始めるのに十分な情報が含まれています。 少し低いのは批判であり、変換に役立つライブラリへのリンクです。

メソッドの批判

まず、parse_transformを使用すると（別のプロジェクトにある場合）、プロジェクトに依存関係が追加されます。 鉄筋の場合、これは致命的ではありません。

第二に、そのようなコードを読んでいる人（特に編集している人）は、その概念をすぐには理解できないかもしれません。 したがって、適切なドキュメントだけでなく、ソースの最初にあるドキュメントへの目立つリンクも必要です。

第三に、独自の方言を書く能力は非常に限られています。 ASTがメスの下に来る前に、通常のパーサーが機能します。 したがって、トリッキーなキーワードと独自の演算子を導入すると、パーサーが破損し、タスクが非常に複雑になります。

Parse_transライブラリ

parse_transはparse_transformsを書くのに便利です。 ツリーへの再帰的なマップを作成できます。これは、可変の深さで式を変更するときに非常に便利です。 例では、 gproc：sendの呼び出しで「！」演算子を書き換える非常に簡潔な方法があります 。