pragmaとは

コンパイラに与える情報

methodにつけるやつ

定義したprocやiteratorに副作用がないことを示す

これがあるのに、副作用があるとコンパイルエラーになる

ただし、引数の型がvar, ref, ptrの場合は再代入などがあってもエラーにはならない