いう二つに分かれることになった。向けのマクロパラダイスでも、これは実装されていない。リリースの一部になったことで、研究分野でも業界でもプログラマは様々な問題に対して独創的なマクロの利用方法を考えだしていて、我々の当初の期待をはるかに上回る反応を得ている。言語の一人前の機能とすることが決定された。マクロを安定化させるのはそう生易しいことでは無いことが分かった。リリースと同時に最初のベータ版を出すことを目指している。入ることになるかもしれない。マクロやリフレクション関連の変更は予定されていない。同様に実験的機能扱いのままで、機能が削除されることもない。本稿が書かれた背景となった状況は変わったが、書かれた内容はまだ生きているのでこのまま読み進んでほしい。マクロには多くの種類があるため、それぞれを注意深く調べて、どれを標準に入れるのかを厳選することを決めた。評価するときに必然として出てきた疑問がいくつかある。マクロで表現されることで馴染みやすい型付けされたメソッド呼び出しという概念に乗っかることができるからではないか、というのが我々の仮説だ。これによって、ユーザが書くコードは無闇に肥大化したり、読み易さを犠牲とせずにより多くの意味を吸収できるようになった。マクロは「ただのメソッド呼び出し」という概念を超越することがある。展開されたマクロは、元のマクロの戻り値の型よりも特化された型を持つ式を返すことが可能だ。解説したように、そのような展開は特化された型を保持し続けることができる。犠牲になるという側面がある。マクロという概念を導入することにした。